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

Proposition Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be an inner fibration of simplicial sets and let $n$ be an integer. Then the comparison map $G: \mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}}/\operatorname{\mathcal{D}})} \rightarrow \operatorname{\mathcal{D}}$ of Construction is an $n$-categorical inner fibration (see Definition

Proof. For $n < 0$, this is immediate from the construction. We may therefore assume without loss of generality that $n \geq 0$. Using Remarks and, we can reduce to the case where $\operatorname{\mathcal{D}}= \Delta ^ m$ is a standard simplex. In particular, $\operatorname{\mathcal{D}}$ is an $(n,1)$-category. In this case, Example guarantees that the simplicial set $\mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{C}}/\operatorname{\mathcal{D}})} \simeq \mathrm{h}_{\mathit{\leq n}}\mathit{(\operatorname{\mathcal{D}})}$ is an $(n,1)$-category. The desired result now follows from Proposition $\square$