Kerodon

Remark 5.5.5.3. The low-dimensional simplices of $\operatorname{ \pmb {\mathcal{QC}} }$ are simple to describe:

• An object of $\operatorname{ \pmb {\mathcal{QC}} }$ is a (small) $\infty $-category $\operatorname{\mathcal{C}}$.

• If $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ are objects of $\operatorname{\mathcal{QC}}$, then a morphism from $\operatorname{\mathcal{C}}$ to $\operatorname{\mathcal{D}}$ in $\operatorname{ \pmb {\mathcal{QC}} }$ is a functor $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$.

• A $2$-simplex $\sigma $ of $\operatorname{ \pmb {\mathcal{QC}} }$ can be identified with a diagram

  \[ \xymatrix@R =50pt@C=50pt{ & \operatorname{\mathcal{D}}\ar [dr]^{G} \ar@ {=>}[]+<0pt,-15pt>;+<0pt,-60pt>^-{\mu } & \\ \operatorname{\mathcal{C}}\ar [ur]^{F} \ar [rr]_{H} & & \operatorname{\mathcal{E}}} \]

  where $\operatorname{\mathcal{C}}$, $\operatorname{\mathcal{D}}$, and $\operatorname{\mathcal{E}}$ are (small) $\infty $-categories, $F$, $G$, and $H$ are functors, and $\mu : G \circ F \rightarrow H$ is a morphism in the $\infty $-category $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{E}})$. Moreover, $\sigma $ is thin if and only if $\mu $ is an isomorphism of functors (Proposition 5.4.8.7).

Remark 5.5.5.4 (Comparison with $\operatorname{\mathcal{QC}}$). Let $\operatorname{QCat}$ and $\operatorname{\mathbf{QCat}}$ be the simplicial categories defined in Constructions 5.5.4.1 and 5.5.5.1, respectively. There is an evident comparison map $\operatorname{QCat}\hookrightarrow \operatorname{\mathbf{QCat}}$ which is the identity at the level of objects, and which is given on morphism spaces by the inclusion maps

Passing to the homotopy coherent nerve, we obtain a functor of $(\infty ,2)$-categories $\operatorname{\mathcal{QC}}\hookrightarrow \operatorname{ \pmb {\mathcal{QC}} }$ which restricts to an isomorphism of $\infty $-categories $\operatorname{\mathcal{QC}}\simeq \operatorname{Pith}( \operatorname{ \pmb {\mathcal{QC}} })$ (Corollary 5.4.8.8).

Remark 5.5.5.5. Let $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$ be $\infty $-categories. Then Theorem 4.6.8.5 supplies an equivalence of $\infty $-categories $\operatorname{Fun}(\operatorname{\mathcal{C}}, \operatorname{\mathcal{D}}) \rightarrow \operatorname{Hom}^{\mathrm{L}}_{ \operatorname{ \pmb {\mathcal{QC}} }}( \operatorname{\mathcal{C}}, \operatorname{\mathcal{D}})$. Beware that this equivalence is generally not an isomorphism at the level of simplicial sets.

Remark 5.5.5.6 (Comparison with Kan Complexes). Since every Kan complex is an $\infty $-category (Example 1.4.0.3), we can identify the simplicial category $\operatorname{Kan}$ of Construction 5.5.1.1 with a full simplicial subcategory of $\operatorname{\mathbf{QCat}}$. Passing to homotopy coherent nerves, we can identify $\infty $-category of spaces $\operatorname{\mathcal{S}}= \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Kan})$ with the full subcategory of $\operatorname{ \pmb {\mathcal{QC}} }= \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{\mathbf{QCat}})$ spanned by the Kan complexes.

Remark 5.5.5.7 (Comparison with Categories). Let $\mathbf{Cat}$ denote the strict $2$-category of small categories (Example 2.2.0.4). By virtue of Proposition 1.5.3.3, the construction $\operatorname{\mathcal{C}}\mapsto \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ induces an isomorphism from the Duskin nerve $\operatorname{N}_{\bullet }^{\operatorname{D}}( \mathbf{Cat} )$ to the full subcategory of $\operatorname{ \pmb {\mathcal{QC}} }$ spanned by those $\infty $-categories of the form $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$, where $\operatorname{\mathcal{C}}$ is an ordinary category.

Remark 5.5.5.8 (Passage to the Homotopy Category). Let $\operatorname{Cat}_{\bullet }$ denote the simplicial category associated to the strict $2$-category $\mathbf{Cat}$ (see Example 2.4.2.8). For every pair of $\infty $-categories $\operatorname{\mathcal{C}}$ and $\operatorname{\mathcal{D}}$, Corollary 1.5.3.5 supplies a comparison map

This construction is compatible with composition, and therefore determines a functor of simplicial categories

Passing to homotopy coherent nerves (and invoking Example 2.4.3.11), we obtain a functor of $(\infty ,2)$-categories

Stated more informally, the construction $\operatorname{\mathcal{C}}\mapsto \mathrm{h} \mathit{\operatorname{\mathcal{C}}}$ determines a functor from the $(\infty ,2)$-category $\operatorname{ \pmb {\mathcal{QC}} }$ to the ordinary $2$-category $\mathbf{Cat}$.