Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
Both quasi-categories as well as sSet-enriched categories serve as models for $(\infty,1)$-categories (exhibited by the Joyal model structure for quasi-categories and the Dwyer–Kan–Bergner model structure on sSet-enriched categories, respectively) and in fact as Quillen equivalent models (see the relation between quasi-categories and simplicial categories) whose right Quillen functor is the homotopy coherent nerve-operation. Its left adjoint
[Lurie (2009), pp. 20] thus encodes any quasi-category equivalently in an sSet-enriched category. Since in the latter model, but not in the former, horizontal composition is a strictly associative and unital operation, one may think of $\mathfrak{C}(-)$ as (partially) “rigidifying” the data in a quasi-category, in the sense of semi-strictification of $\infty$-categories, whence it is also known as the operation of rigidification of quasi-categories [Dugger & Spivak (2011a)].
The Joyal rigidification functor $\mathscr{C}$ is defined as the left adjoint of the Cordier–Vogt homotopy coherent nerve functor $N$:
This notion is briefly mentioned and attributed to André Joyal by Bergner (2007), above Theorem 7.8; the first detailed account is due to Lurie (2009), §1.1.5 and §2.2.
The Dugger–Spivak rigidification functor [Dugger & Spivak (2011a)] provides a more explicit model for the same (∞,1)-functor, by virtue of writing down an explicit formula that does not use colimits. The resulting functor is connected to the Joyal functor by a zigzag of natural weak equivalences.
Specifically, given a simplicial set $S$ (not necessarily fibrant in the Joyal model structure), we construct the Dugger–Spivak rigidification $\mathfrak{C}^{\mathrm{nec}}S$ as the following simplicial category:
Objects are vertices of $S$.
The simplicial set of morphisms $x\to y$ is the nerve of the category of necklaces in $S$ (introduced by Hans-Joachim Baues). A necklace is a simplicial map
where $\vee$ glues the final vertex of the preceding simplex to the initial vertex of the following simplex. Morphisms are commutative triangles of simplicial maps that preserve the initial and final vertex of the entire necklace.
Composition is defined by concatenating necklaces. The resulting functor from simplicial sets admits a zigzag of weak equivalences to the Joyal rigidification functor.
The rigidification operation does not strictly preserve Cartesian products (cf. products of simplicial sets) but it does so up to equivalence:
For $S,\, S' \,\in\, sSet$, the natural transformation
(induced from the projections $S \overset{pr_S}{\leftarrow} S \times S' \overset{pr_{S'}}{\rightarrow} S'$) is a Dwyer-Kan equivalence.
Let
denote the functor from sSet-enriched categories to sSet-enriched groupoids (Dwyer-Kan simplicial groupoids) which is degreewise given by the localization operation left adjoint to the full subcategory inclusion Grpd $\hookrightarrow$ Cat.
Let
denote the Dwyer-Kan fundamental simplicial groupoid-construction with values in sSet-enriched groupoids (Dwyer-Kan simplicial groupoids), here to be regarded among sSet-enriched categories.
For $S \,\in\, sSet$ there is a natural transformation
which is a Dwyer-Kan equivalence (from the localization (2) of the rigidification (1) to the Dwyer-Kan fundamental groupoid (3)).
The construction is briefly mentioned and attributed to André Joyal in:
First detailed discussion (not using a name beyond the symbol “$\mathfrak{C}$”) is due to:
Further discussion and the terminology “rigidification” is due to
aimed at discussing quasi-categorical hom-spaces:
See also:
Emily Riehl, On the structure of simplicial categories associated to quasi-categories, Math. Proc. Camb. Phil. Soc. 150 (2011) 489-504 [arXiv:0912.4809, doi:10.1017/S0305004111000053]
Emilio Minichiello, Manuel Rivera, Mahmoud Zeinalian, §3.2 in: Categorical models for path spaces, Advances in Mathematics 415 (2023) 108898 [arXiv:2201.03046, doi:10.1016/j.aim.2023.108898]
Last revised on May 31, 2023 at 12:31:28. See the history of this page for a list of all contributions to it.