Homotopy coherent category theory

Cordier, Jean-Marc; Porter, Timothy

doi:10.1090/S0002-9947-97-01752-2

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