Kerodon

Remark 5.5.1.3. Let $\operatorname{N}_{\bullet }(\operatorname{Kan})$ denote the nerve of the category of Kan complexes, where we view $\operatorname{Kan}$ as an ordinary category. There is an evident monomorphism of simplicial sets

which is bijective on simplices of dimension $\leq 1$ (Example 2.4.3.9). In other words:

• The objects of the $\infty $-category $\operatorname{\mathcal{S}}$ are Kan complexes.

• If $X$ and $Y$ are Kan complexes, then morphisms $f: X \rightarrow Y$ in the $\infty $-category $\operatorname{\mathcal{S}}$ can be identified with morphisms of simplicial sets from $X$ to $Y$.

However, $\iota $ is not bijective on simplices of dimension $\geq 2$. For example, $2$-simplices of $\operatorname{\mathcal{S}}$ can be identified with diagrams of Kan complexes

which commute up to a specified homotopy $\mu : (g \circ f) \rightarrow h$.

Remark 5.5.1.4. Let $f: X \rightarrow Y$ be a morphism of Kan complexes. Then $f$ is a homotopy equivalence (in the sense of Definition 3.1.6.1) if and only if it is an isomorphism when viewed as a morphism of the $\infty $-category $\operatorname{\mathcal{S}}$.

Remark 5.5.1.5. Let $X$ and $Y$ be Kan complexes. Then Remark 4.6.8.6 supplies a canonical homotopy equivalence of Kan complexes $\operatorname{Fun}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{S}}}( X,Y)$. Beware that this homotopy equivalence is generally not an isomorphism.

Remark 5.5.1.6. Let $X$ and $Y$ be Kan complexes, and let $f,g: X \rightarrow Y$ be morphisms. Then $f$ and $g$ are homotopic as morphisms of simplicial sets (that is, they belong to the same connected component of the Kan complex $\operatorname{Fun}(X,Y)$) if and only if they are homotopic as morphisms in the $\infty $-category $\operatorname{\mathcal{S}}$ (Definition 1.4.3.1). Consequently, the category $\mathrm{h} \mathit{\operatorname{Kan}}$ of Construction 3.1.5.10 can be identified with the homotopy category of the $\infty $-category $\operatorname{\mathcal{S}}$ (this is a special case of Proposition 2.4.6.9). Moreover, this identification is compatible (via the homotopy equivalences of Remark 5.5.1.5) with the $\mathrm{h} \mathit{\operatorname{Kan}}$-enrichments supplied by Remark 3.1.5.12 and Construction 4.6.9.13 (see Corollary 4.6.9.20).

Remark 5.5.1.7 (Comparison with Sets). For every set $S$, let $\underline{S}$ denote the associated constant simplicial set (Construction 1.1.5.2). The construction $S \mapsto \underline{S}$ determines a fully faithful embedding from the category of sets to the category of Kan complexes. Passing to homotopy coherent nerves, we obtain a functor of $\infty $-categories $\operatorname{N}_{\bullet }( \operatorname{Set}) \rightarrow \operatorname{\mathcal{S}}$. This functor is fully faithful: in fact, it is an isomorphism from $\operatorname{N}_{\bullet }(\operatorname{Set})$ to the full subcategory of $\operatorname{\mathcal{S}}$ spanned by Kan complexes of the form $\underline{S}$. We will generally abuse notation by identifying (the nerve of) the category $\operatorname{Set}$ with its image in $\operatorname{\mathcal{S}}$: in particular, we will not distinguish between a set $S$ and the associated constant simplicial set $\underline{S}$, viewed as an object of $\operatorname{\mathcal{S}}$. We can summarize the situation informally by saying that the $\infty $-category $\operatorname{\mathcal{S}}$ is an enlargement of the ordinary category $\operatorname{Set}$.

Remark 5.5.1.8 (Comparison with Groupoids). Let $\mathbf{Cat}$ denote the (strict) $2$-category of small categories, let $\mathbf{Gpd} \subseteq \mathbf{Cat}$ denote the full subcategory spanned by the groupoids, and let $\mathbf{Gpd}_{\bullet }$ denote the associated simplicial category (Example 2.4.2.8), which we can describe concretely as follows:

• The objects of the simplicial category $\mathbf{Gpd}_{\bullet }$ are small groupoids.

• If $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ are groupoids, then the simplicial set $\operatorname{Hom}_{ \mathbf{Gpd} }( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})_{\bullet }$ is the nerve of the functor category $\operatorname{Fun}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$.

Note that if $\operatorname{\mathcal{C}}$ is a groupoid, then the nerve $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ is a Kan complex (Proposition 1.3.5.2). By virtue of Proposition 1.5.3.3, the construction $\operatorname{\mathcal{C}}\mapsto \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ determines a fully faithful embedding of simplicial categories $\mathbf{Gpd}_{\bullet } \hookrightarrow \operatorname{Kan}$. Passing to homotopy coherent nerves and invoking Example 2.4.3.11, we obtain a functor of $\infty $-categories

where $\operatorname{N}^{\operatorname{D}}_{\bullet }( \mathbf{Gpd} )$ is the Duskin nerve of the $2$-category $\mathbf{Gpd}$ (Construction 2.3.1.1). This functor restricts to an isomorphism of $\operatorname{N}^{\operatorname{D}}_{\bullet }( \mathbf{Gpd} )$ with the full subcategory of $\operatorname{\mathcal{S}}$ spanned by those Kan complexes of the form $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$, where $\operatorname{\mathcal{C}}$ is a small groupoid. We can informally summarize the situation informally by saying that the $\infty $-category $\operatorname{\mathcal{S}}$ is an enlargement of the $2$-category of groupoids $\mathbf{Gpd}$.

Remark 5.5.1.9 (Comparison with Topological Spaces). Let $\operatorname{Top}$ denote the category of topological spaces and continuous functions, endowed with the simplicial enrichment described in Example 2.4.1.5. The geometric realization construction $X \mapsto |X|$ determines a functor of simplicial categories $| \bullet |: \operatorname{Kan}\rightarrow \operatorname{Top}$ (see Construction 3.6.5.1). Moreover, if $X$ and $Y$ are Kan complexes, then Proposition 3.6.5.2 guarantees that the induced map

is a homotopy equivalence of Kan complexes. Applying Corollary 4.6.8.8, we deduce that the induced map

is a fully faithful functor of $\infty $-categories. The essential image of this functor is the full subcategory $\operatorname{\mathcal{T}}_0 \subseteq \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Top})$ spanned by those topological spaces which have the homotopy type of a CW complex (Proposition 3.6.5.3). We therefore obtain an equivalence of $\infty $-category $\operatorname{\mathcal{S}}\xrightarrow { | \bullet |} \operatorname{\mathcal{T}}_{0}$ (Theorem 4.6.2.21), which has a homotopy inverse induced by the simplicial functor $X \mapsto \operatorname{Sing}_{\bullet }(X)$.