Homotopy coherent category theory
HTML articles powered by AMS MathViewer
- by Jean-Marc Cordier and Timothy Porter PDF
- Trans. Amer. Math. Soc. 349 (1997), 1-54 Request permission
Abstract:
This article is an introduction to the categorical theory of homotopy coherence. It is based on the construction of the homotopy coherent analogues of end and coend, extending ideas of Meyer and others. The paper aims to develop homotopy coherent analogues of many of the results of elementary category theory, in particular it handles a homotopy coherent form of the Yoneda lemma and of Kan extensions. This latter area is linked with the theory of generalised derived functors.References
- J. F. Adams, A variant of E. H. Brown’s representability theorem, Topology 10 (1971), 185–198. MR 283788, DOI 10.1016/0040-9383(71)90003-6
- D. W. Anderson, Axiomatic homotopy theory, Algebraic topology, Waterloo, 1978 (Proc. Conf., Univ. Waterloo, Waterloo, Ont., 1978) Lecture Notes in Math., vol. 741, Springer, Berlin, 1979, pp. 520–547. MR 557184
- Michel André, Méthode simpliciale en algèbre homologique et algèbre commutative, Lecture Notes in Mathematics, Vol. 32, Springer-Verlag, Berlin-New York, 1967 (French). MR 0214644, DOI 10.1007/BFb0077199
- M. Artin and B. Mazur, Etale homotopy, Lecture Notes in Mathematics, No. 100, Springer-Verlag, Berlin-New York, 1969. MR 0245577, DOI 10.1007/BFb0080957
- M. Artin and B. Mazur, On the van Kampen theorem, Topology 5 (1966), 179–189. MR 192495, DOI 10.1016/0040-9383(66)90018-8
- Michael Barr and Jon Beck, Homology and standard constructions, Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer, Berlin, 1969, pp. 245–335. MR 0258917
- M. A. Batanin, Coherent categories with respect to monads and coherent prohomotopy theory, Cahiers Topologie Géom. Différentielle Catég. 34 (1993), no. 4, 279–304 (English, with French summary). MR 1253172
- H. J. Baues, Geometry of loop spaces and the cobar construction, Mem. Amer. Math. Soc. 25 (1980), no. 230, ix+171. MR 567799, DOI 10.1090/memo/0230
- Hans Joachim Baues, Algebraic homotopy, Cambridge Studies in Advanced Mathematics, vol. 15, Cambridge University Press, Cambridge, 1989. MR 985099, DOI 10.1017/CBO9780511662522
- Dominique Bourn and Jean-Marc Cordier, A general formulation of homotopy limits, J. Pure Appl. Algebra 29 (1983), no. 2, 129–141. MR 707615, DOI 10.1016/0022-4049(83)90101-9
- A. K. Bousfield and D. M. Kan, Homotopy limits, completions and localizations, Lecture Notes in Mathematics, Vol. 304, Springer-Verlag, Berlin-New York, 1972. MR 0365573, DOI 10.1007/978-3-540-38117-4
- Syméon Bozapalidès, Théorie formelle des bicatégories, Esquisses Mathématiques, No. 25, U.E.R. Math., Univ. Amiens, Amiens, 1976, pp. v+151 (French). Thèse de 3e cycle soutenue à Paris 7, Mars 1976. MR 0476828
- Syméon Bozapalidès, Some remarks on lax presheaves, Illinois J. Math. 24 (1980), no. 4, 676–680. MR 586805
- Kenneth S. Brown, Abstract homotopy theory and generalized sheaf cohomology, Trans. Amer. Math. Soc. 186 (1973), 419–458. MR 341469, DOI 10.1090/S0002-9947-1973-0341469-9
- Ronald Brown and N. D. Gilbert, Algebraic models of $3$-types and automorphism structures for crossed modules, Proc. London Math. Soc. (3) 59 (1989), no. 1, 51–73. MR 997251, DOI 10.1112/plms/s3-59.1.51
- Jean-Marc Cordier, Sur la notion de diagramme homotopiquement cohérent, Cahiers Topologie Géom. Différentielle 23 (1982), no. 1, 93–112 (French). Third Colloquium on Categories, Part VI (Amiens, 1980). MR 648798
- J.-M. Cordier, Extensions de Kan simplicialement cohérentes, Prépublications, Amiens, (1985).
- J.-M. Cordier, Sur les limites homotopiques de diagrammes homotopiquement cohérents, Compositio Math. 62 (1987), no. 3, 367–388 (French). MR 901397
- Jean-Marc Cordier, Homologie de Steenrod-Sitnikov et limite homotopique algébrique, Manuscripta Math. 59 (1987), no. 1, 35–52 (French, with English summary). MR 901248, DOI 10.1007/BF01171263
- Jean-Marc Cordier, Comparaison de deux catégories d’homotopie de morphismes cohérents, Cahiers Topologie Géom. Différentielle Catég. 30 (1989), no. 3, 257–275 (French, with English summary). MR 1029628
- Jean-Marc Cordier and Timothy Porter, Vogt’s theorem on categories of homotopy coherent diagrams, Math. Proc. Cambridge Philos. Soc. 100 (1986), no. 1, 65–90. MR 838654, DOI 10.1017/S0305004100065877
- J.-M. Cordier and T. Porter, Coherent Kan Extensions, (i). Simplicially Enriched Ends and Coends, U.C.N.W. Pure Maths. Preprint 86.19, (1986).
- J.-M. Cordier and T. Porter, Fibrant diagrams, rectifications and a construction of Loday, J. Pure Appl. Algebra 67 (1990), no. 2, 111–124. MR 1080880, DOI 10.1016/0022-4049(90)90009-7
- J.-M. Cordier and T. Porter, Categorical Aspects of Equivariant Homotopy, Applied Categorical Structures (to appear).
- W. G. Dwyer and D. M. Kan, A classification theorem for diagrams of simplicial sets, Topology 23 (1984), no. 2, 139–155. MR 744846, DOI 10.1016/0040-9383(84)90035-1
- W. G. Dwyer and D. M. Kan, Function complexes for diagrams of simplicial sets, Nederl. Akad. Wetensch. Indag. Math. 45 (1983), no. 2, 139–147. MR 705421, DOI 10.1016/1385-7258(83)90051-3
- David A. Edwards and Harold M. Hastings, Čech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Mathematics, Vol. 542, Springer-Verlag, Berlin-New York, 1976. MR 0428322, DOI 10.1007/BFb0081083
- A. D. Elmendorf, Systems of fixed point sets, Trans. Amer. Math. Soc. 277 (1983), no. 1, 275–284. MR 690052, DOI 10.1090/S0002-9947-1983-0690052-0
- P. E. Gardener, Generalized Derived Functors, Thesis, University of Warwick, 1981.
- John W. Gray, Closed categories, lax limits and homotopy limits, J. Pure Appl. Algebra 19 (1980), 127–158. MR 593251, DOI 10.1016/0022-4049(80)90098-5
- A. Grothendieck, (1983), Pursuing Stacks, typed manuscript, (c.600 pages).
- Bernd Günther, The use of semisimplicial complexes in strong shape theory, Glas. Mat. Ser. III 27(47) (1992), no. 1, 101–144 (English, with English and Serbo-Croatian summaries). MR 1230117
- Alex Heller, Homotopy in functor categories, Trans. Amer. Math. Soc. 272 (1982), no. 1, 185–202. MR 656485, DOI 10.1090/S0002-9947-1982-0656485-2
- Alex Heller, Homotopy theories, Mem. Amer. Math. Soc. 71 (1988), no. 383, vi+78. MR 920963, DOI 10.1090/memo/0383
- K. H. Kamps and T. Porter, Abstract homotopy and simple homotopy theory, World Scientific, (1996?).
- Gregory Maxwell Kelly, Basic concepts of enriched category theory, London Mathematical Society Lecture Note Series, vol. 64, Cambridge University Press, Cambridge-New York, 1982. MR 651714
- Ju. T. Lisica and S. Mardešić, Coherent prohomotopy and strong shape theory, Glas. Mat. Ser. III 19(39) (1984), no. 2, 335–399 (English, with Serbo-Croatian summary). MR 790021
- Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798
- Sibe Mardešić and Jack Segal, Shape theory, North-Holland Mathematical Library, vol. 26, North-Holland Publishing Co., Amsterdam-New York, 1982. The inverse system approach. MR 676973
- J. Peter May, Classifying spaces and fibrations, Mem. Amer. Math. Soc. 1 (1975), no. 1, 155, xiii+98. MR 370579, DOI 10.1090/memo/0155
- Jean-Pierre Meyer, Bar and cobar constructions. I, J. Pure Appl. Algebra 33 (1984), no. 2, 163–207. MR 754954, DOI 10.1016/0022-4049(84)90005-7
- K.-H. Ulbrich, Kohärenz in Kategorien mit Gruppenstruktur. III, J. Algebra 88 (1984), no. 1, 292–316 (German). MR 741944, DOI 10.1016/0021-8693(84)90102-9
- John E. Roberts, Mathematical aspects of local cohomology, Algèbres d’opérateurs et leurs applications en physique mathématique (Proc. Colloq., Marseille, 1977) Colloq. Internat. CNRS, vol. 274, CNRS, Paris, 1979, pp. 321–332. MR 560645
- Alan Robinson, Torsion products as homotopy groups, J. Pure Appl. Algebra 21 (1981), no. 2, 167–182. MR 614380, DOI 10.1016/0022-4049(81)90006-2
- Daniel G. Quillen, Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer-Verlag, Berlin-New York, 1967. MR 0223432, DOI 10.1007/BFb0097438
- Graeme Segal, Categories and cohomology theories, Topology 13 (1974), 293–312. MR 353298, DOI 10.1016/0040-9383(74)90022-6
- Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210112
- Ross Street, The algebra of oriented simplexes, J. Pure Appl. Algebra 49 (1987), no. 3, 283–335. MR 920944, DOI 10.1016/0022-4049(87)90137-X
- Myles Tierney and Wolfgang Vogel, Simplicial resolutions and derived functors, Math. Z. 111 (1969), 1–14. MR 249488, DOI 10.1007/BF01110914
- Freidrich Ulmer, Acyclic models and Kan extensions, Category Theory, Homology Theory and their Applications, I (Battelle Institute Conference, Seattle, Wash., 1968, Vol. One), Springer, Berlin, 1969, pp. 181–204. MR 0257186
- D. Verity, Nerves of n-categories, Notes of lectures at Bangor, 1993.
- Rainer M. Vogt, Homotopy limits and colimits, Math. Z. 134 (1973), 11–52. MR 331376, DOI 10.1007/BF01219090
Additional Information
- Jean-Marc Cordier
- Affiliation: Faculté de Mathématiques et d’Informatique, Université de Picardie - Jules Verne, 33 rue Saint Leu, 80039 Amiens Cédex 1, France
- Email: cordier@mathinfo.u-picardie.fr
- Timothy Porter
- Affiliation: School of Mathematics, University of Wales, Bangor, Dean Street, Bangor, Gwynedd, LL57 1UT, Wales, United Kingdom
- Email: t.porter@bangor.ac.uk
- Received by editor(s): July 24, 1995
- © Copyright 1997 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 349 (1997), 1-54
- MSC (1991): Primary 18D20, 18D05, 18G30, 18A99
- DOI: https://doi.org/10.1090/S0002-9947-97-01752-2
- MathSciNet review: 1376543