Publication: Isomorphisms in pro-categories.
Loading...
Full text at PDC
Publication Date
2004
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier Science B.V. (North-Holland)
Citations
Exportar
Abstract
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 epimorphisms
in 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 their
signi5cance 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 and
to 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 that
f 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 CW
complexes) we show that f is an isomorphism provided Y is sequentially movable.
Description
UCM subjects
Unesco subjects
Keywords
Citation
S. Bogatyi, Approximate and fundamental retracts, Math. USSR Sb. 22 (1974) 91–103.
K. Borsuk, Fundamental retracts and extensions of fundamental sequences, Fund. Math. 64 (1969)55–85.
A.K. Bous5eld, D.M. Kan, Homotopy Limits, Completions and Localizations, in: Lecture Notes in Mathematics, Vol. 304, Springer, Berlin, 1972.
M.H. Clapp, On a generalization of absolute neighborhood retracts, Fund. Math. 70 (1971) 117–130.
J. Dydak, The Whitehead and the Smale theorems in shape theory, Dissertationes Math. 156 (1979)1–51.
J. Dydak, Epimorphism and monomorphism in homotopy, Proc.Amer. Math. Soc. 116 (1992)1171–1173.
J. Dydak, Extension dimension for paracompact spaces,Topology Appl., to appear.
J. Dydak, F.R. Ruiz del Portal, Bimorphisms in pro-homotopy and proper homotopy, Fund. Math.160 (1999) 269–286.
J. Dydak, F.R. Ruiz del Portal, Monomorphisms and epimorphisms in pro-categories, preprint.
E. Dyer, J. Roitberg, Homotopy-epimorphism, homotopy-monomorphism and homotopy-equivalences,Topology Appl. 46 (1992) 119–124.
L. Fuchs, Abelian groups, Pergamon Press, New York, 1960.
S. Ghorbal, Epimorphisms and monomorphisms in homotopy theory, Ph.D. Thesis, UniversitTe Catholique de Louvain, 1996 (in French).
T.W. Hungerford, Algebra, Springer, New York, 1974.
L.S. Husch, Intersections of ANR’s, Fund. Math. 79 (1978) 21–26.
S. MardeTsiIc, J. Segal, Shape Theory, North-Holland,Amsterdam, 1982.
M.A. MoroIn, F.R. Ruiz del Portal, On weak shape equivalences, Topology Appl. 92 (1999) 225–236.
M. Moszynska, On the homotopy classi5cation of spaces,Fund. Math. 66 (1969) 65–83.
G. Mukherjee, Equivariant homotopy epimorphisms, homotopy monomorphisms and homotopy equivalences, Bull. Belg. Math. Soc. 2 (1995) 447–461.
H. Noguchi, A generalization of absolute neighborhood retracts, Kodai Math. Sem. Rep. 1 (1953)20–22.
J. Sanjurjo, Algunas propiedades de tipo homotIopico de los espacios FANR, An. Inst. Mat. Univ. Nac.AutIonoma MIexico 20 (1980) 113–125.
S. Singh, On a problemof Borsuk, Bull. Acad. Polon. Sci. 27 (1979) 129–134.
S. Spiez, A majorant for the family of all movable shapes, Bull. Acad. Polon. Sci. 21 (1973) 615–620.
K. Tsuda, On AWNR-spaces in shape theory, Math. Japon. 22 (1977) 471–478.