nLab rigidification of quasi-categories



(,1)(\infty,1)-Category theory

Enriched category theory



Both quasi-categories as well as sSet-enriched categories serve as models for ( , 1 ) (\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

:sSetsSet-Cat \mathfrak{C} \;\colon\; sSet \longrightarrow sSet\text{-}Cat

[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

The Joyal rigidification functor 𝒞\mathscr{C} is defined as the left adjoint of the Cordier–Vogt homotopy coherent nerve functor NN:

(1)sSetNsSet-Cat sSet \underoverset {\underset{N}{\longleftarrow}} {\overset{\mathfrak{C}}{\longrightarrow}} {\;\;\; \bot \;\;\;} sSet\text{-}Cat

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

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 SS (not necessarily fibrant in the Joyal model structure), we construct the Dugger–Spivak rigidification necS\mathfrak{C}^{\mathrm{nec}}S as the following simplicial category:

Objects are vertices of SS.

The simplicial set of morphisms xyx\to y is the nerve of the category of necklaces in SS (introduced by Hans-Joachim Baues). A necklace is a simplicial map

Δ n 1Δ n kS,\Delta^{n_1}\vee \cdots \vee \Delta^{n_k}\to S,

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.


Respect for products

The rigidification operation does not strictly preserve Cartesian products (cf. products of simplicial sets) but it does so up to equivalence:


For S,SsSetS,\, S' \,\in\, sSet, the natural transformation

(S×S)((pr S),(pr S))(S)×(S) \mathfrak{C}(S \times S') \overset{ \big( \mathfrak{C}(pr_S) ,\, \mathfrak{C}(pr_{S'}) \big) }{\longrightarrow} \mathfrak{C}(S) \times \mathfrak{C}(S')

(induced from the projections Spr SS×Spr SSS \overset{pr_S}{\leftarrow} S \times S' \overset{pr_{S'}}{\rightarrow} S') is a Dwyer-Kan equivalence.

[Lurie (2009), Cor.; Dugger & Spivak (2011a), Prop. 6.2]

Relation to Dwyer-Kan groupoids


(2)L:sSet-CatsSet-Grp L \,\colon\, sSet\text{-}Cat \longrightarrow sSet\text{-}Grp

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.


(3)𝒢:sSetsSet-GrpdsSet-Cat \mathcal{G} \,\colon\, sSet \longrightarrow sSet\text{-}Grpd \hookrightarrow sSet\text{-}Cat

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 SsSetS \,\in\, sSet there is a natural transformation

L(S)𝒢(S) L \circ \mathfrak{C}(S) \longrightarrow \mathcal{G}(S)

which is a Dwyer-Kan equivalence (from the localization (2) of the rigidification (1) to the Dwyer-Kan fundamental groupoid (3)).

[Minichiello, Rivera & Zeinalian (2023), Thm. 1.1 (Cor. 4.2)]


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:

Last revised on May 31, 2023 at 12:31:28. See the history of this page for a list of all contributions to it.