Mapping spaces in quasi-categories
This article is a sequel to [Algebr. Geom. Topol. 11, No. 1, 225--261 (2011; Zbl 1213.55015)] and is concerned with the Quillen equivalence between the category of simplicial sets \(s\mathcal S et_J\) equipped with the Joyal model structure, where fibrant objects are quasi-categories, and the category of simplicial categories equipped with Bergner's model structure. This theorem is due to Joyal and Lurie. In Lurie's approach [\textit{J. Lurie}, Higher topos theory. Annals of Mathematics Studies 170. Princeton, NJ: Princeton University Press. (2009; Zbl 1175.18001)], the existence of the Joyal model structure is a consequence of his analysis of mapping spaces, whereas here, the authors start with it. They give thus a quick introduction to quasi-categories and establish the existence of the Joyal model structure on simplicial sets in the appendices. The next point to be taken care of is the construction of mapping spaces. Given a quasi-category \(K\) and two vertices \(a\) and \(b\), the simplicial sets \(\Delta^1\) and \(K\) are both objects of the model category \(\partial \Delta^1 \downarrow s\mathcal S et_J\). As mapping spaces can be constructed in model categories, even if they are not simplicial, in several ways, one can consider the ``homotopy function complex \(\text{hMap}(\Delta^1, K)\). Lurie's constructions \(\text{Hom}^R_K(a, b)\) and \(\text{Hom}^L_K(a, b)\) fit into this framework, but \(\mathfrak C(K)(a, b)\) does not, where \(\mathfrak C: s\mathcal S et_J \rightarrow s \mathcal C at\) is the rigidification functor taking \(K\) to a simplicial category. However, the former work of the authors allows them to compare \(\mathfrak C(K)(a, b)\) with the Dwyer-Kan model of the mapping space. This result is a key step in establishing that a map of simplicial sets \(f: X \rightarrow Y\) is a Dwyer-Kan equivalence if and only if the rigidification \(\mathfrak C(f)\) is a weak equivalence of simplicial categories, which in turn agrees with \(f\) being a Joyal equivalence. The proof of the Quillen equivalence then follows.
- scientific article; zbMATH DE number 1340770
- scientific article; zbMATH DE number 5219541
- Enriched categories and quasi-uniform spaces
- Quasi-categories vs. Segal spaces: Cartesian edition
- Space in Monoidal Categories
- Approximating triangulated categories by spaces
- Categories of affine spaces
- Categories of partial maps
- Categorical models for equivariant classifying spaces
- Mapping spaces of Gray-categories
- A model category structure on the category of simplicial categories
- Calculating simplicial localizations
- Function complexes in homotopical algebra
- Higher Topos Theory (AM-170)
- Homotopy coherent category theory
- Homotopy invariant algebraic structures on topological spaces
- Homotopy limits, completions and localizations
- scientific article; zbMATH DE number 1860105 (Why is no real title available?)
- Quasi-categories and Kan complexes
- Rigidification of quasi-categories
- Sheafifiable homotopy model categories
- Simplicial localizations of categories
- Spectral enrichments of model categories
- Spaces of nonexpanding maps: categorical properties
- Iterated spans and classical topological field theories
- Cubical rigidification, the cobar construction and the based loop space
- Homotopy of planar Lie group equivariant presheaves
- A universal characterization of higher algebraic K-theory
- Quasicategories of frames of cofibration categories
- Comparison of Waldhausen constructions
- Joyal's cylinder conjecture
- Adams' cobar construction revisited
- Higher weak (co)limits, adjoint functor theorems, and higher Brown representability
- A homotopy coherent cellular nerve for bicategories
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
- Descent theory and mapping spaces
- Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads
- Enriched -categories via non-symmetric -operads
- The 2-category theory of quasi-categories
- Waldhausen additivity: classical and quasicategorical
- Categorical models for path spaces
- The comprehension construction
- Weak model categories in classical and constructive mathematics
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Space in Monoidal Categories
- Comparison of models for ( , n)-categories. I
- scientific article; zbMATH DE number 7377654 (Why is no real title available?)
- Topological modular forms with level structure: decompositions and duality
- The six-functor formalism for rigid analytic motives
- A counterexample in quasi-category theory
- The colimit of an -local system as a twisted tensor product
- A criterion for existence of right‐induced model structures
- Univalence in locally Cartesian closed categories
- Mapping spaces of Gray-categories
- Induced model structures for higher categories
- A homotopy coherent nerve for \((\infty, n)\)-categories
- The category of necklaces is Reedy monoidal
- What is an equivalence in a higher category?
- Rigidification of cubical quasicategories
- Abstract excision and ^1-homology
- Model -categories. I: Some pleasant properties of the -category of simplicial spaces
- Smooth Calabi-Yau structures and the noncommutative Legendre transform
- Enriched Koszul duality for dg categories
- A short proof of the straightening theorem
- Nerves of enriched categories via necklaces
- On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
This page was built for publication: Mapping spaces in quasi-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q618741)
