Remark 5.5.1.9 (Comparison with Topological Spaces). Let $\operatorname{Top}$ denote the category of topological spaces and continuous functions, endowed with the simplicial enrichment described in Example 2.4.1.5. The geometric realization construction $X \mapsto |X|$ determines a functor of simplicial categories $| \bullet |: \operatorname{Kan}\rightarrow \operatorname{Top}$ (see Construction 3.5.5.1). Moreover, if $X$ and $Y$ are Kan complexes, then Proposition 3.5.5.2 guarantees that the induced map
is a homotopy equivalence of Kan complexes. Applying Corollary 4.6.7.8, we deduce that the induced map
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 3.5.5.3).