Example 4.8.8.12. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, so that the projection map $F: \operatorname{\mathcal{C}}\rightarrow \Delta ^0$ is an inner fibration. Since $\Delta ^0$ is an $(n,1)$-category, Example 4.8.8.11 supplies an isomorphism of simplicial sets $\mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}}/\Delta ^0)} \simeq \mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}})}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$