Glasnik Matematicki, Vol. 45, No.2 (2010), 531-557.

THE INDUCED HOMOLOGY AND HOMOTOPY FUNCTORS ON THE COARSE SHAPE CATEGORY

Nikola Koceić Bilan

University of Split, Faculty of Science and Mathematics, Teslina 12/III, 21000 Split, Croatia
e-mail: koceic@pmfst.hr


Abstract.   In this paper we consider some algebraic invariants of the coarse shape. We introduce functors pro*-Hn and pro*-πn relating the (pointed) coarse shape category (Sh**) Sh* to the category pro*-Grp. The category (Sh**) Sh*, which is recently constructed, is the supercategory of the (pointed) shape category (Sh*) Sh*, having all (pointed) topological spaces as objects. The category pro* -Grp is the supercategory of the category of pro-groups pro-Grp, both having the same object class. The functors pro*-Hn and pro*-πn extend standard functors pro-Hn and pro-πn which operate on (Sh*) Sh*. The full analogue of the well known Hurewicz theorem holds also in Sh**. We proved that the pro-homology (homotopy) sequence of every pair (X,A) of topological spaces, where A is normally embedded in X, is also exact in pro*-Grp. Regarding this matter the following general result is obtained: for every category C with zero-objects and kernels, the category pro-C is also a category with zero-objects and kernels, while morphisms of pro*-C generally don't have kernels.

2000 Mathematics Subject Classification.   55P55, 55Q05, 55N99.

Key words and phrases.   Topological space, polyhedron, inverse system, pro-category, pro*-category, expansion, shape, coarse shape, homotopy pro-group, homology pro-group, n-shape connectedness, kernel, exact sequence.


Full text (PDF) (free access)

DOI: 10.3336/gm.45.2.18


References:

  1. K. Borsuk, Some quantitative properties of shapes, Fund. Math. 93 (1976) 197-212.
    MathSciNet    

  2. A. Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002.
    MathSciNet    

  3. A. Kadlof, N. Koceić Bilan and N. Uglešić, Borsuk's quasi-equivalence is not transitive, Fund. Math. 197 (2007), 215-227.
    MathSciNet     CrossRef

  4. J. Keesling and S. Mardešić, A shape fibration with fibers of different shape, Pacific J. Math. 84 (1979) 319-331.
    MathSciNet     CrossRef

  5. N. Koceić Bilan and N. Uglešić, The coarse shape, Glas. Mat. Ser. III 42(62) (2007) 145-187.
    MathSciNet     CrossRef

  6. N. Koceić Bilan, Comparing monomorphisms and epimorphisms in pro and pro*-categories, Topology Appl. 155 (2008), 1840-1851.
    MathSciNet     CrossRef

  7. N. Koceić Bilan, Bimorphisms in a pro*-category, Glas. Mat. Ser. III 44(64) (2009), 155-166.
    MathSciNet     CrossRef

  8. N. Koceić Bilan, On some coarse shape invariants, Topology Appl. 157 (2010), 2679-2685. % %http://dx.doi.org/10.1016/j.topol.2010.07.018

  9. S. Mardešić, Comparing fibres in a shape fibration, Glas. Mat. Ser. III 13(33) (1978), 317-333.
    MathSciNet    

  10. S. Mardešić and J. Segal, Shape theory, North-Holland, Amsterdam, 1982.
    MathSciNet    

  11. S. Mardešić and N. Uglešić, A category whose isomorphisms induce an equivalence relation coarser than shape, Topology Appl. 153 (2005), 448-463.
    MathSciNet     CrossRef

  12. N. Uglešić and B. Červar, The Sn-equivalence of compacta, Glas. Mat. Ser. III 42(62) (2007), 195-211.
    MathSciNet     CrossRef

  13. N. Uglešić and B. Červar, The concept of a weak shape type, Int. J. Pure Appl. Math. 39 (2007), 363-428.
    MathSciNet    

Glasnik Matematicki Home Page