Proposition Let $X$ and $Y$ be simplicial sets. If $Y$ is a Kan complex, then the comparison map

\[ \theta : \operatorname{Fun}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{Top}}( |X|, |Y| )_{\bullet } \]

of Construction is a homotopy equivalence of Kan complexes.

Proof. Using Example, we can identify $\theta $ with the morphism

\[ \operatorname{Fun}(X,Y) \rightarrow \operatorname{Fun}( X, \operatorname{Sing}_{\bullet }(|Y| ) ) \]

given by postcomposition with the unit map $u_{Y}: Y \rightarrow \operatorname{Sing}_{\bullet }(|Y|)$. By virtue of Theorem, the map $u_{Y}$ is a weak homotopy equivalence. Since $Y$ and $\operatorname{Sing}_{\bullet }(|Y|)$ are Kan complexes, we conclude that $u_{Y}$ is a homotopy equivalence (Proposition It follows that $\theta $ is also a homotopy equivalence (it admits a homotopy inverse, given by postcomposition with any homotopy inverse to $u_{Y}$). $\square$