Corollary 3.1.6.5. Let $f: X \rightarrow Y$ be a morphism of simplicial sets, and let $Z$ be a Kan complex. If $f$ is a weak homotopy equivalence, then composition with $f$ induces a homotopy equivalence $\operatorname{Fun}( Y, Z) \rightarrow \operatorname{Fun}(X,Z)$.

**Proof.**
Using Corollary 3.1.6.2, we can choose an anodyne morphism $g: Y \hookrightarrow Y'$, where $Y'$ is a Kan complex. Using Proposition 3.1.6.1, we can factor $g \circ f$ as a composition $X \xrightarrow {g'} X' \xrightarrow {f'} Y'$, where $g'$ is anodyne and $f'$ is a Kan fibration. We then have a commutative diagram

where $f'$ is a Kan fibration between Kan complexes and the vertical maps are anodyne, and therefore weak homotopy equivalences. Using the two-out-of-three property, we deduce that $f'$ is also a weak homotopy equivalence (Remark 3.1.5.15). It follows that $f'$ is a homotopy equivalence (Proposition 3.1.5.11). We then obtain a commutative diagram of Kan complexes

where the lower horizontal map is a homotopy equivalence, and the vertical maps are trivial Kan fibrations (Corollary 3.1.3.6). In particular, the vertical maps are homotopy equivalences (Proposition 3.1.5.9), so the two-out-of-three property guarantees that the upper horizontal map is also a homotopy equivalence (Remark 3.1.5.7). $\square$