Rigidification of quasi-categories
Algebraic and Geometric Topology, Tome 11 (2011) no. 1, pp. 225-261
Cet article a éte moissonné depuis la source Mathematical Sciences Publishers

Voir la notice de l'article

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.

DOI : 10.2140/agt.2011.11.225
Keywords: quasi-category, infinity category, rigidification, mapping space, simplicial category

Dugger, Daniel  1   ; Spivak, David I  2

1 Department of Mathematics, University of Oregon, Eugene OR 97403, USA
2 Department of Mathematics, Massachusetts Institute of Technology, Building 2, Room 236, 77 Massachusetts Avenue, Cambridge MA 02139-4307, USA
@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  - 
%0 Journal Article
%A Dugger, Daniel
%A Spivak, David I
%T Rigidification of quasi-categories
%J Algebraic and Geometric Topology
%D 2011
%P 225-261
%V 11
%N 1
%U http://geodesic.mathdoc.fr/articles/10.2140/agt.2011.11.225/
%R 10.2140/agt.2011.11.225
%F 10_2140_agt_2011_11_225
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] M Artin, B Mazur, Etale homotopy, Lecture Notes in Math. 100, Springer (1969)

[2] H J Baues, Geometry of loop spaces and the cobar construction, Mem. Amer. Math. Soc. 25, no. 230 (1980)

[3] J E Bergner, A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. 359 (2007) 2043

[4] A K Bousfield, D M Kan, Homotopy limits, completions and localizations, Lecture Notes in Math. 304, Springer (1972)

[5] J M Cordier, 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] J M Cordier, T Porter, Vogt's theorem on categories of homotopy coherent diagrams, Math. Proc. Cambridge Philos. Soc. 100 (1986) 65

[7] D Dugger, A primer on homotopy colimits, Preprint (2008)

[8] D Dugger, D I Spivak, Mapping spaces in quasi-categories, Alg. Geom. Topol. 11 (2011) 225

[9] W G Dwyer, D M Kan, Function complexes in homotopical algebra, Topology 19 (1980) 427

[10] P S Hirschhorn, Model categories and their localizations, Math. Surveys and Monogr. 99, Amer. Math. Soc. (2003)

[11] A Joyal, Quasi-categories and Kan complexes, J. Pure Appl. Algebra 175 (2002) 207

[12] A Joyal, The theory of quasi-categories, Preprint (2008)

[13] J Lurie, Higher topos theory, Annals of Math. Studies 170, Princeton Univ. Press (2009)

[14] S Mac Lane, Categories for the working mathematician, Graduate Texts in Math. 5, Springer (1998)

[15] D Quillen, 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 :