A Survey of (∞, 1)-Categories
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.
KeywordsModel Category Homotopy Theory Simplicial Category Weak Equivalence Left Adjoint
Unable to display preview. Download preview PDF.
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.
- J.M. Boardman and R.M. Vogt, Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics, 347, Springer-Verlag, 1973.Google Scholar
- C.L. Douglas, Twisted parametrized stable homotopy theory, preprint available at math.AT/0508070.Google Scholar
- 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.Google Scholar
- W.G. Dwyer and J. Spalinski, Homotopy theories and model categories, in Handbook of Algebraic Topology, Elsevier, 1995.Google Scholar
- P.G. Goerss and J.F. Jardine, Simplicial Homotopy Theory, Progress in Math, Vol. 174, Birkhauser, 1999.Google Scholar
- P.S. Hirschhorn, Model Categories and Their Localizations, Mathematical Surveys, and Monographs, 99, AMS, 2003.Google Scholar
- A. Hirschowitz and C. Simpson, Descente pour les n-champs, preprint available at math.AG/9807049.Google Scholar
- Mark Hovey, Model Categories, Mathematical Surveys and Monographs, 63. American Mathematical Society 1999.Google Scholar
- A. Joyal, Simplicial categories vs quasi-categories, in preparation.Google Scholar
- André Joyal, The theory of quasi-categories I, in preparation.Google Scholar
- André Joyal and Myles Tierney, Quasi-categories vs Segal spaces, Contemp. Math. (2007), 431:277–326.Google Scholar
- Jacob Lurie, Higher topos theory, preprint available at math.CT/0608040.Google Scholar
- Saunders Mac Lane, Categories for the Working Mathematician, Second Edition, Graduate Texts in Mathematics 5, Springer-Verlag, 1997.Google Scholar
- Timothy Porter, S-categories, S-groupoids, Segal categories and quasicategories, preprint available at math.AT/0401274.Google Scholar
- Daniel Quillen, Homotopical Algebra, Lecture Notes in Math 43, Springer-Verlag, 1967.Google Scholar
- 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.Google Scholar
- Carlos Simpson, A closed model structure for n-categories, internal Hom, n-stacks, and generalized Seifert-Van Kampen, preprint, available at math.AG/9704006.Google Scholar
- Carlos Simpson, A Giraud-type characterization of the simplicial categories associated to closed model categories as infty-pretopoi, preprint available at math.AT/9903167.Google Scholar
- 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.Google Scholar
- Bertrand Toën, Higher and derived stacks: a global overview, preprint available at math.AG/0604504.Google Scholar
- Bertrand Toën, Homotopical and Higher Categorical Structures in Algebraic Geometry (A View Towards Homotopical Algebraic Geometry), preprint available at math.AG/0312262.Google Scholar