Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$

Example 1.3.0.4. For every category $\operatorname{\mathcal{C}}$, the nerve $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ is an $\infty$-category.