RT Journal Article
T1 Isomorphisms in pro-categories.
A1 Dydak, J.
A1 Romero Ruiz del Portal, Francisco
AB A morphism of a category which is simultaneously an epimorphism and a monomorphism is called a bimorphism. In (Dydak and Ruiz del Portal (Monomorphisms and epimorphismsin pro-categories, preprint)) we gave characterizations of monomorphisms (resp. epimorphisms)in arbitrary pro-categories, pro-C, where C has direct sums (resp. weak push-outs). In this paper, we introduce the notions of strong monomorphism and strong epimorphism. Part of theirsigni5cance is that they are preserved by functors. These notions and their characterizations lead us to important classical properties and problems in shape and pro-homotopy. For instance,strong epimorphisms allow us to give a categorical point of view of uniform movability andto introduce a new kind of movability, the sequential movability. Strong monomorphisms are connected to a problemof K. Borsuk regarding a descending chain of retracts of ANRs. If f : X → Y is a bimorphism in the pointed shape category of topological spaces, we prove thatf is a weak isomorphism and f is an isomorphism provided Y is sequentially movable and X or Y is the suspension of a topological space. If f : X → Y is a bimorphism in the pro-category pro-H0 (consisting of inverse systems in H0, the homotopy category of pointed connected CWcomplexes) we show that f is an isomorphism provided Y is sequentially movable.
PB Elsevier Science B.V. (North-Holland)
SN 0022-4049
YR 2004
FD 2004
LK https://hdl.handle.net/20.500.14352/50340
UL https://hdl.handle.net/20.500.14352/50340
LA eng
NO NSF Ministry of Science and Education of Spain
NO MCyT
DS Docta Complutense
RD 20 abr 2025