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

Proposition Suppose we are given a commutative diagram

\[ \xymatrix@R =50pt@C=50pt{ A \ar [r]^-{f} \ar [d]^{i} & X \ar [d]^{q} \\ B \ar [r]^-{g} \ar@ {-->}[ur]^{ \overline{f} } & S } \]

of simplicial sets, where $i$ is a monomorphism and $q$ is an inner fibration. Then the simplicial set $\operatorname{Fun}_{A/ \, /S}(B, X)$ of Construction is an $\infty $-category. Moreover, if $i$ is inner anodyne, then $\operatorname{Fun}_{A/ \, /S}(B, X)$ is a contractible Kan complex.

Proof. By virtue of Remark, the simplicial set $\operatorname{Fun}_{A/ \, /S}( B, X)$ can be identified with a fiber of the restriction map

\[ \theta : \operatorname{Fun}(B,X) \rightarrow \operatorname{Fun}(A,X) \times _{ \operatorname{Fun}(A,S) } \operatorname{Fun}(B,S). \]

Proposition asserts that $\theta $ is an inner fibration of simplicial sets, so its fibers are $\infty $-categories (Remark If $i$ is inner anodyne, then Proposition guarantees that $\theta $ is a trivial Kan fibration, so its fibers are contractible Kan complexes. $\square$