Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Proposition 3.5.5.2. 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 3.5.5.1 is a homotopy equivalence of Kan complexes.

Proof. Using Example 3.5.2.5, 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 3.5.4.1, 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 3.1.5.11). 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$