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

Remark (Comparison with Topological Spaces). Let $\operatorname{Top}$ denote the category of topological spaces and continuous functions, endowed with the simplicial enrichment described in Example The geometric realization construction $X \mapsto |X|$ determines a functor of simplicial categories $| \bullet |: \operatorname{Kan}\rightarrow \operatorname{Top}$ (see Construction Moreover, if $X$ and $Y$ are Kan complexes, then Proposition guarantees that the induced map

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

is a homotopy equivalence of Kan complexes. Applying Corollary, we deduce that the induced map

\[ \operatorname{\mathcal{S}}= \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Kan}) \xrightarrow { | \bullet | } \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Top}) \]

is a fully faithful functor of $\infty $-categories. The essential image of this embedding is spanned by those topological spaces which have the homotopy type of a CW complex (Proposition