Abstract
In this paper we give a summary of the comparisons between different definitions of so-called (∞, 1)-categories, which are considered to be models for ∞-categories whose n-morphisms are all invertible for n > 1. They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories. The four different structures, all of which are equivalent, are simplicial categories, Segal categories, complete Segal spaces, and quasi-categories.
AMS(MOS) 2000 Subject Classifications. 18-02, 55-02.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.E. Bergner, A characterization of fibrant Segal categories, Proc. Amer. Math. Soc. (2007), 135:4031–4037.
J.E. Bergner, A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. (2007), 359:2043–2058.
J.E. Bergner, Three models for the homotopy theory of homotopy theories, Topology (2007), 46:397–436.
J.M. Boardman and R.M. Vogt, Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics, 347, Springer-Verlag, 1973.
J.M. Cordier and T. Porter, Vogt’s theorem on categories of homotopy coherent diagrams, Math. Proc. Camb. Phil. Soc. (1986), 100:65–90.
C.L. Douglas, Twisted parametrized stable homotopy theory, preprint available at math.AT/0508070.
D. Dugger, Universal homotopy theories, Adv. Math. (2001), 164(1):144–176.
W.G. Dwyer and D.M. Kan, Calculating simplicial localizations, J. Pure Appl. Algebra (1980), 18:17–35.
W.G. Dwyer and D.M. Kan, Equivalences between homotopy theories of diagrams, Algebraic topology and algebraic K-theory (Princeton, N.J.), 1983, 180–205, Ann. of Math. Stud., 113, Princeton Univ. Press, Princeton, NJ, 1987.
W.G. Dwyer and D.M. Kan, Function complexes in homotopical algebra, Topology (1980), 19:427-440.
W.G. Dwyer and D.M. Kan, Simplicial localizations of categories, J. Pure Appl. Algebra (1980), 17(3):267–284.
W.G. Dwyer, D.M. Kan, and J.H. Smith, Homotopy commutative diagrams and their realizations. J. Pure Appl. Algebra (1989), 57:5–24.
W.G. Dwyer and J. Spalinski, Homotopy theories and model categories, in Handbook of Algebraic Topology, Elsevier, 1995.
P.G. Goerss and J.F. Jardine, Simplicial Homotopy Theory, Progress in Math, Vol. 174, Birkhauser, 1999.
P.S. Hirschhorn, Model Categories and Their Localizations, Mathematical Surveys, and Monographs, 99, AMS, 2003.
A. Hirschowitz and C. Simpson, Descente pour les n-champs, preprint available at math.AG/9807049.
Mark Hovey, Model Categories, Mathematical Surveys and Monographs, 63. American Mathematical Society 1999.
A. Joyal, Quasi-categories and Kan complexes, J. Pure Appl. Algebra (2002), 17(5):207–222.
A. Joyal, Simplicial categories vs quasi-categories, in preparation.
André Joyal, The theory of quasi-categories I, in preparation.
André Joyal and Myles Tierney, Quasi-categories vs Segal spaces, Contemp. Math. (2007), 431:277–326.
Jacob Lurie, Higher topos theory, preprint available at math.CT/0608040.
Saunders Mac Lane, Categories for the Working Mathematician, Second Edition, Graduate Texts in Mathematics 5, Springer-Verlag, 1997.
Timothy Porter, S-categories, S-groupoids, Segal categories and quasicategories, preprint available at math.AT/0401274.
Daniel Quillen, Homotopical Algebra, Lecture Notes in Math 43, Springer-Verlag, 1967.
C.L. Reedy, Homotopy theory of model categories, unpublished manuscript, available at http://www-math.mit.edu/˜psh.
Charles Rezk, A model for the homotopy theory of homotopy theory, Trans. Amer. Math. Soc., 353(3):973–1007.
R. Schwänzl and R.M. Vogt, Homotopy homomorphisms and the hammock localization, Bol. Soc. Mat. Mexicana (2) (1992), 37(1–2):431–448.
Graeme Segal, Categories and cohomology theories, Topology (1974), 13:293–312.
Carlos Simpson, A closed model structure for n-categories, internal Hom, n-stacks, and generalized Seifert-Van Kampen, preprint, available at math.AG/9704006.
Carlos Simpson, A Giraud-type characterization of the simplicial categories associated to closed model categories as infty-pretopoi, preprint available at math.AT/9903167.
Goncalo Tabuada, Une structure de catégorie de modèles de Quillen sur la catégorie des dg-catégories, C.R. Math. Acad. Sci. Paris (2005), 340(1):15–19.
Z. Tamsamani, Sur les notions de n-categorie et n-groupoíde non-stricte via des ensembles multi-simpliciaux, preprint available at alg-geom/9512006.
Bertrand Toën, Higher and derived stacks: a global overview, preprint available at math.AG/0604504.
Bertrand Toën, The homotopy theory of dg-categories and derived Morita theory, Invent. Math. (2007), 167(3):615–667.
Bertrand Toën, Homotopical and Higher Categorical Structures in Algebraic Geometry (A View Towards Homotopical Algebraic Geometry), preprint available at math.AG/0312262.
Bertrand Toën, Vers une axiomatisation de la théorie des catégories supérieures, K-Theory (2005), 34(3):233–263.
Bertrand Toën and Gabriele Vezzosi, Remark on K-theory and S-categories, Topology (2004), 43(4):765–791.
Acknowledgements
I would like to thank Bill Dwyer, Chris Douglas, André Joyal, Jacob Lurie, Peter May, and Bertrand Toën for reading early drafts of this paper, making suggestions, and sharing their work in this area.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag New York
About this chapter
Cite this chapter
Bergner, J.E. (2010). A Survey of (∞, 1)-Categories. In: Baez, J., May, J. (eds) Towards Higher Categories. The IMA Volumes in Mathematics and its Applications, vol 152. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-1524-5_2
Download citation
DOI: https://doi.org/10.1007/978-1-4419-1524-5_2
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-1523-8
Online ISBN: 978-1-4419-1524-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)