engleski

Ultrametrization of pro*-morphism sets

For every pair of inverse systems X, Y in a category A, where Y is cofinite, there exists a complete ultrametric structure on the set pro*-A(X, Y). The corresponding hom-bifunctor is the internal and invariant Hom of a subcategory, containing tow*-A, in the category of complete metric spaces. Several applications to the shape (ordinary, coarse and weak) re considered.

pro-category; pro*-category; complete ultrametric; shape; coarse shape; weak shape; quasi-equivalence; semi-stability; compactum; polyhedron; ANR

nije evidentirano