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

Proposition Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the pinch inclusion morphisms

\[ \operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{L}}(X,Y) \xrightarrow { \iota ^{\mathrm{L}}_{X,Y} } \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y) \xleftarrow { \iota ^{\mathrm{R}}_{X,Y} } \operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{R}}(X,Y) \]

are homotopy equivalences of Kan complexes.

Proof. We will prove that the left-pinch inclusion morphism $\iota ^{\mathrm{L}}_{X,Y}$ is a homotopy equivalence; the proof for the right-pinch inclusion morphism $\iota ^{\mathrm{R}}_{X,Y}$ is similar. Note that we have a commutative diagram of $\infty $-categories

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{\mathcal{C}}_{X/} \ar [r] \ar [d] & \{ X\} \operatorname{\vec{\times }}_{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}\ar [d] \\ \operatorname{\mathcal{C}}\ar [r]^-{\operatorname{id}} & \operatorname{\mathcal{C}}, } \]

where the horizontal maps are equivalences of $\infty $-categories (Corollary and the vertical maps are left fibrations (Propositions and, hence isofibrations (Example Applying Corollary, we deduce that the induced map of fibers

\[ \iota ^{\mathrm{L}}_{X,Y}: \operatorname{Hom}_{\operatorname{\mathcal{C}}}^{\mathrm{L}}(X,Y) = (\operatorname{\mathcal{C}}_{X/} ) \times _{\operatorname{\mathcal{C}}} \{ Y\} \rightarrow \{ X\} \operatorname{\vec{\times }}_{\operatorname{\mathcal{C}}} \{ Y\} = \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y) \]

is an equivalence of $\infty $-categories, hence a homotopy equivalence of Kan complexes (Remark $\square$