$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Proposition 3.6.5.3. Let $X$ be a topological space. The following conditions are equivalent:
- $(1)$
The counit map $| \operatorname{Sing}_{\bullet }(X) | \rightarrow X$ is a homotopy equivalence of topological spaces.
- $(2)$
There exists a Kan complex $Y$ and a homotopy equivalence of topological spaces $| Y | \rightarrow X$.
- $(3)$
There exists a simplicial set $Y$ and a homotopy equivalence of topological spaces $|Y| \rightarrow X$.
- $(4)$
There exists a homotopy equivalence of topological spaces $X' \rightarrow X$, where $X'$ is a CW complex.
Proof.
The implication $(1) \Rightarrow (2)$ follows from the observation that $\operatorname{Sing}_{\bullet }(X)$ is a Kan complex (Proposition 1.2.5.8), the implication $(2) \Rightarrow (3)$ is trivial, and the implication $(3) \Rightarrow (4)$ follows from Remark 1.2.3.12. To complete the proof, it will suffice to show that if $X$ has the homotopy type of a CW complex, then the counit map $v: | \operatorname{Sing}_{\bullet }(X) | \rightarrow X$ is a homotopy equivalence. By virtue of Proposition 3.6.3.8, it will suffice to show that $v$ is a weak homotopy equivalence, which follows from Corollary 3.6.4.2.
$\square$