×

Categorical strong shape theory. (English) Zbl 0873.18005

Shape theory was introduced by Borsuk in the late 1960’s as a way of extending homotopy theoretic methods to non locally nice compact metric spaces. Mardešić and Segal related Borsuk’s methods to categories of inverse systems and thereby extended this theory to compact Hausdorff spaces. A categorisation of the theory was initiated by Bacon, Mardešić and others describing a general setting for shape theory as a study of properties of objects from one category by comparison with objects from another which was often a subcategory. In the original example, the objects were from the category of compact metric spaces and homotopy classes of maps and the comparison was with polyhedra and homotopy classes of maps. This led to a greater understanding of Kan extensions of functors where extra structure was involved, e.g. in cohomology theories (Deleanu and Hilton). Finally D. Bourn and J.-M. Cordier [ibid. 21, 161-189 (1980; Zbl 0439.55014)] gave a description of the shape category in terms of a Kleisli category for a monad associated to the distributor/profunctor given by the comparison functor.
Although shape theory was of great use in diverse areas ranging from geometric topology to functional analysis, it hit technical problems due in part to the lack of limits in the homotopy category of polyhedra. The problem was that the methods used led to an inverse system in this homotopy category and it was not clear how to obtain an inverse system in the category of polyhedra, which would be actually commutative yet sufficiently small so as not to obscure the geometric meaning of its construction. Strong shape theory was introduced about 1975 by Edwards and Hastings, Cathey and Segal, and the reviewer, amongst others. This took into account the homotopy coherence problems encountered in shape theory handling them in various ways using homotopical algebra and allowed for a richer homotopy theory in the resulting structure. Yu. T. Lisitsa and S. Mardešić [Glas. Mat., III. Ser. 19(39), 335-399 (1984; Zbl 0553.55009)] then proposed a homotopy coherent technology for handling strong shape.
Related problems of homotopy coherence had become apparent elsewhere especially in homological algebra, in the theory of derived categories and in étale homotopy theory, areas linked in A. Grothendieck’s “Pursuing stacks” manuscript (600 pages) of 1983. By 1990 it was clear that a categorical description of strong shape would help to clarify a very wide range of interrelated areas not just in shape theory and geometric topology. M. A. Batanin [Cah. Topologie Géom. Différ. Catégoriques 34, No. 4, 279-304 (1993; Zbl 0793.18005)] attacked the problem of giving categorical descriptions of the categories of coherent prohomotopy theory as described by Lisitsa and Mardešić and in the current article gives a complete categorical description of strong shape theory linking it with \(A_\infty\)-algebras, strong homotopy algebras and related central areas of algebraic topology.
Reviewer: T.Porter (Bangor)

MSC:

18G55 Nonabelian homotopical algebra (MSC2010)
55P55 Shape theory
18C20 Eilenberg-Moore and Kleisli constructions for monads
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] Artin M. , Mazur B. , On the van Kampen Theorem , Topology , 5 , pp. 179 - 189 , 1966 . MR 192495 | Zbl 0138.18301 · Zbl 0138.18301 · doi:10.1016/0040-9383(66)90018-8
[2] Batanin M.A. , Coherent categories with respect to monads and coherent prohomotopy theory , Cahiers Topologie et Geom. Diff. , vol. XXXIV - 4 , pp. 279 - 304 , 1993 . Numdam | MR 1253172 | Zbl 0793.18005 · Zbl 0793.18005
[3] Batanin M.A. , Homotopy coherent category theory and A\infty structures in monoidal categories , to appear. Zbl 0892.18003 · Zbl 0892.18003 · doi:10.1016/S0022-4049(96)00084-9
[4] Bauer F.W. , A shape theory with singular homology , Pacific J. Math. , 64 , pp. 25 - 65 , 1976 . Article | MR 436130 | Zbl 0346.55014 · Zbl 0346.55014 · doi:10.2140/pjm.1976.64.25
[5] Benabou J. , Introduction to bicategories , in Lecture Notes in Math. , vol. 47 , pp. 1 - 77 Springer-Verlag , Berlin , Heidelberg , New York , 1967 . MR 220789 · Zbl 1375.18001
[6] Benabou J. , Les distributeurs , Inst. Math. Pures and Appl. , Univ. Louvain-la-Neuve , Rapport No. 33 , 1973 .
[7] Boardman J.M. , R.M. Vogt , Homotopy Invariant Algebraic Structures on Topological Spaces , Lecture Notes in Math. , vol. 347 , Springer-Verlag , Berlin , Heidelberg , New York , 1973 . MR 420609 | Zbl 0285.55012 · Zbl 0285.55012
[8] Bourn D. , Cordier J.-M. , Distributeurs et theorie de la forme , Cahiers Topologie et Geom. Diff. , 21 , pp. 161 - 189 , 1980 . Numdam | MR 574663 | Zbl 0439.55014 · Zbl 0439.55014
[9] Bourn D. , Cordier J.-M. , A general formulation of homotopy limits, J.Pure Appl . Algebra , 29 , pp. 129 - 141 , 1983 . MR 707615 | Zbl 0575.55006 · Zbl 0575.55006 · doi:10.1016/0022-4049(83)90101-9
[10] Bousfield A.K. , Kan D.M. , Homotopy Limits, Completions and Localizations , Lecture Notes in Math. , vol. 304 , Springer-Verlag , Berlin , Heidelberg , New York , 1972 . MR 365573 | Zbl 0259.55004 · Zbl 0259.55004
[11] Cathey F.W. , Segal J. , Strong shape theory and resolutions , Topology Appl. 15 , pp. 119 - 130 , 1983 . MR 686090 | Zbl 0505.55012 · Zbl 0505.55012 · doi:10.1016/0166-8641(83)90031-7
[12] Cathey F.W. , Segal J. , Homotopical approach to strong shape or completion theory , Topology Appl. 21 , pp. 167 - 192 , 1985 . MR 813287 | Zbl 0588.55008 · Zbl 0588.55008 · doi:10.1016/0166-8641(85)90103-8
[13] Cordier J.-M. , Extension de Kan simplicialement coherent , Pre-publication , Amiens , 1985 .
[14] Cordier J.-M. , Comparaison de deux catégories d’homotopie de morphismes cohérents , Cahiers de Topologie et Géometrie Diff. Catégoriques , vol. 30 - 2 , pp. 257 - 275 , 1989 . Numdam | MR 1029628 | Zbl 0679.55006 · Zbl 0679.55006
[15] Cordier J.-M. , Porter T. , Vogt’s Theorem on categories of homotopy coherent diagrams , Math. Proc. Cambridge Phil. Soc. , vol. 100 , pp 65 - 90 , 1986 . MR 838654 | Zbl 0603.55017 · Zbl 0603.55017 · doi:10.1017/S0305004100065877
[16] Cordier J.-M. , Porter T. , Shape Theory : Categorical Methods of Approximation , Ellis Horwood Limited , Chichester 1989 . MR 1000348 | Zbl 0663.18001 · Zbl 0663.18001
[17] Cordier J.-M. , Porter T. , Maps between homotopy coherent diagrams , Topology and its Appl. , 28 , pp. 255 - 275 , 1988 . MR 931527 | Zbl 0655.55008 · Zbl 0655.55008 · doi:10.1016/0166-8641(88)90046-6
[18] Cordier J.-M. , Porter T. , Fibrant diagrams, rectifications and a construction of Loday, J.Pure Appl . Algebra , 67 , pp. 111 - 124 , 1990 . MR 1080880 | Zbl 0715.55012 · Zbl 0715.55012 · doi:10.1016/0022-4049(90)90009-7
[19] Cordier J.-M. , Porter T. , Homotopy coherent category theory , to appear in Transactions of the AMS , MR 1376543 | Zbl 0865.18006 · Zbl 0865.18006 · doi:10.1090/S0002-9947-97-01752-2
[20] Dwyer W.G. , Kan D.M. , Realizing diagrams in the homotopy category by means of diagrams of simplicial sets , Proc. Amer. Math. Soc. , 91 , pp. 456 - 460 , 1984 . MR 744648 | Zbl 0514.55020 · Zbl 0514.55020 · doi:10.2307/2045321
[21] Dwyer W.G. , Kan D.M. , Function complexes in homotopical algebra , Topology 19 , pp. 427 - 440 , 1980 . MR 584566 | Zbl 0438.55011 · Zbl 0438.55011 · doi:10.1016/0040-9383(80)90025-7
[22] Dydak J. , Nowak S. , Strong shape for topological spaces , Transactions of the AMS , 323 , n. 2 , pp. 765 - 796 , 1991 . MR 986690 | Zbl 0754.55009 · Zbl 0754.55009 · doi:10.2307/2001556
[23] Edwards D.A. , Hastings H.M. , Čech and Steenrod Homotopy Theories with Applications to Geometric Topology , Lecture Notes in Math. 542 , Springer-Verlag , Berlin , 1976 . MR 428322 | Zbl 0334.55001 · Zbl 0334.55001 · doi:10.1007/BFb0081083
[24] Gabriel P. , Zisman M. , Calculus of fractions and homotopy theory , Ergebnisse der Mathematik und ihrer Grenzgebiete , 35 , Springer , 1967 . MR 210125 | Zbl 0186.56802 · Zbl 0186.56802
[25] Grothendieck A. , Pursuing Stacks, typed manuscript , ( 600 pp.), 1983 .
[26] Günther B. , The use of semisimplicial complexes in strong shape theory , Glasnik Mat. , 27 , pp. 101 - 144 , 1992 . MR 1230117 | Zbl 0781.55006 · Zbl 0781.55006
[27] Günther B. , Comparison of the Coherent pro-Homotopy Theories of Edwards-Hastings , Lisica-Mardešić and Günther , Glasnik Mat. , 26 , pp. 141 - 176 , 1991 . MR 1269184 | Zbl 0795.55010 · Zbl 0795.55010
[28] Heller A. , Homotopy in Functor Categories , Transactions AMS ., v 272 . 272 , pp. 185 - 202 , 1982 . MR 656485 | Zbl 0508.55022 · Zbl 0508.55022 · doi:10.2307/1998955
[29] Heller A. , Homotopies theories , Memoirs AMS. , v. 71 , 383 , AMS , Rhode Island , USA, 1988 . MR 920963 | Zbl 0643.55015 · Zbl 0643.55015
[30] Kelly G.M. , The Basic Concepts of Enriched Category Theory , London Mathematical Society Lecture Notes Series , 64 , ( Cambridge University Press , Cambridge ), 1983 . MR 651714 | Zbl 0478.18005 · Zbl 0478.18005
[31] Lada T.J. , Strong homotopy algebras over monads , in Lecture Notes in Math. , vol. 533 , pp. 399 - 479 Springer-Verlag , Berlin , Heidelberg , New York , 1976 .
[32] Lisica Y.T. , Mardešić S., Coherent prohomotopy and strong shape theory , Glasnik Mat. , 19 , pp. 335 - 399 , 1984 . MR 790021 | Zbl 0553.55009 · Zbl 0553.55009
[33] MacLane S. , Categories for the working mathematician , Graduate Texts in Math. 5 , Springer-Verlag , Berlin , Heidelberg , New York , 1971 . MR 354798 | Zbl 0232.18001 · Zbl 0232.18001
[34] MacLane S. , Paré R. , Coherence for bicategories and indexed categories , J. Pure Appl. Algebra , 37 , pp. 59 - 80 , 1985 . MR 794793 | Zbl 0567.18003 · Zbl 0567.18003 · doi:10.1016/0022-4049(85)90087-8
[35] Mardešić S. , Strong expansions and strong shape theory , Topology Appl. , 38 , pp. 275 - 292 , 1991 . MR 1098907 | Zbl 0715.55008 · Zbl 0715.55008 · doi:10.1016/0166-8641(91)90092-Z
[36] Mardešić S. , Segal J. , Shape theory , North-Holland , Amsterdam , 1982 . MR 676973 | Zbl 0495.55001 · Zbl 0495.55001
[37] May J.P. , The Geometry of Iterated Loop Spaces , Lecture Notes in Math. , vol. 271 , Springer-Verlag , Berlin , Heidelberg , New York , 1972 . MR 420610 | Zbl 0244.55009 · Zbl 0244.55009
[38] Meyer J.-P. , Bar and cobar constructions , J. Pure Applied Alg. , 33 , pp. 163 - 207 , 1984 . MR 754954 | Zbl 0542.57036 · Zbl 0542.57036 · doi:10.1016/0022-4049(84)90005-7
[39] Porter T. , Stability results for topological spaces , Math. Z. , 140 , pp. 1 - 21 , 1974 . Article | MR 385846 | Zbl 0275.55022 · Zbl 0275.55022 · doi:10.1007/BF01218642
[40] Porter T. , On the two definitions of Ho(pro - C) , Topology Appl. , 28 , pp. 289 - 293 , 1988 . MR 931529 | Zbl 0647.18008 · Zbl 0647.18008 · doi:10.1016/0166-8641(88)90048-X
[41] Quillen D.G. , Homotopical Algebra , Lecture Notes in Math. , vol. 43 , Springer-Verlag , Berlin , Heidelberg , New York , 1967 . MR 223432 | Zbl 0168.20903 · Zbl 0168.20903 · doi:10.1007/BFb0097438
[42] Schwänzl R. , Vogt R. , Homotopy homomorphisms and the Hammock localization , Boletin de la Soc. Mat. Mexicana , 37 , 1 - 2 , pp. 431 - 449 , 1992 . MR 1317592 | Zbl 0853.55010 · Zbl 0853.55010
[43] Smirnov V.A. , Homotopy theory of coalgebras , Math. USSR Izv. , 27 , pp. 575 - 592 , 1986 . MR 816858 | Zbl 0612.55012 · Zbl 0612.55012 · doi:10.1070/IM1986v027n03ABEH001194
[44] Vogt R.M. , Homotopy limits and colimits , Math. Z , 134 , pp. 11 - 52 , 1973 . Article | MR 331376 | Zbl 0276.55006 · Zbl 0276.55006 · doi:10.1007/BF01219090
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.