We give a new construction for rigidifying a quasi-category into a simplicial category, and prove that it is weakly equivalent to the rigidification given by Lurie. Our construction comes from the use of necklaces, which are simplicial sets obtained by stringing simplices together. As an application of these methods, we use our model to reprove some basic facts from Lurie [Annals of Math. Studies 170 (2009)] about the rigidification process.
Dugger, Daniel  1 ; Spivak, David I  2
@article{10_2140_agt_2011_11_225,
author = {Dugger, Daniel and Spivak, David I},
title = {Rigidification of quasi-categories},
journal = {Algebraic and Geometric Topology},
pages = {225--261},
year = {2011},
volume = {11},
number = {1},
doi = {10.2140/agt.2011.11.225},
url = {http://geodesic.mathdoc.fr/articles/10.2140/agt.2011.11.225/}
}
TY - JOUR AU - Dugger, Daniel AU - Spivak, David I TI - Rigidification of quasi-categories JO - Algebraic and Geometric Topology PY - 2011 SP - 225 EP - 261 VL - 11 IS - 1 UR - http://geodesic.mathdoc.fr/articles/10.2140/agt.2011.11.225/ DO - 10.2140/agt.2011.11.225 ID - 10_2140_agt_2011_11_225 ER -
Dugger, Daniel; Spivak, David I. Rigidification of quasi-categories. Algebraic and Geometric Topology, Tome 11 (2011) no. 1, pp. 225-261. doi: 10.2140/agt.2011.11.225
[1] , , Etale homotopy, Lecture Notes in Math. 100, Springer (1969)
[2] , Geometry of loop spaces and the cobar construction, Mem. Amer. Math. Soc. 25, no. 230 (1980)
[3] , A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. 359 (2007) 2043
[4] , , Homotopy limits, completions and localizations, Lecture Notes in Math. 304, Springer (1972)
[5] , Sur la notion de diagramme homotopiquement cohérent, from: "Third Colloquium on Categories, Part VI (Amiens, 1980)", Cahiers Topologie Géom. Différentielle 23 (1982) 93
[6] , , Vogt's theorem on categories of homotopy coherent diagrams, Math. Proc. Cambridge Philos. Soc. 100 (1986) 65
[7] , A primer on homotopy colimits, Preprint (2008)
[8] , , Mapping spaces in quasi-categories, Alg. Geom. Topol. 11 (2011) 225
[9] , , Function complexes in homotopical algebra, Topology 19 (1980) 427
[10] , Model categories and their localizations, Math. Surveys and Monogr. 99, Amer. Math. Soc. (2003)
[11] , Quasi-categories and Kan complexes, J. Pure Appl. Algebra 175 (2002) 207
[12] , The theory of quasi-categories, Preprint (2008)
[13] , Higher topos theory, Annals of Math. Studies 170, Princeton Univ. Press (2009)
[14] , Categories for the working mathematician, Graduate Texts in Math. 5, Springer (1998)
[15] , Higher algebraic $K$–theory. I, from: "Algebraic $K$–theory, I: Higher $K$-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972)" (editor H Bass), Lecture Notes in Math. 341, Springer (1973) 85
Cité par Sources :