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

Remark In the situation of Proposition, suppose that the $\infty $-category $\operatorname{\mathcal{X}}$ is a Kan complex. Then $\operatorname{\mathcal{Y}}$ is also a Kan complex, and is therefore a retract of $X$ in the homotopy category $\mathrm{h} \mathit{\operatorname{Kan}}$. To prove this, it will suffice to show that every morphism $f: Y \rightarrow Y'$ in the $\infty $-category $\operatorname{\mathcal{Y}}$ is an isomorphism (Proposition Since $\operatorname{\mathcal{X}}$ is a Kan complex, the morphism $i(f): i(Y) \rightarrow i(Y')$ is an isomorphism in $\operatorname{\mathcal{X}}$ (Proposition It follows that $(r \circ i)(f)$ is an isomorphism in $\operatorname{\mathcal{Y}}$ (Remark Since $f$ is isomorphic to $(r \circ i)(f)$ (as an object of the $\infty $-category $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{Y}})$), it is also an isomorphism (Example