# Kerodon

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

Warning 3.5.3.9. In the formulation of Proposition 3.5.3.8, the hypothesis that $X$ and $Y$ have the homotopy type of a CW complex cannot be omitted. For any topological space $Y$, the counit map $v: | \operatorname{Sing}_{\bullet }(Y) | \rightarrow Y$ is a weak homotopy equivalence (Corollary 3.5.4.2), whose domain is a CW complex (Remark 1.1.8.14). If $Y$ satisfies the conclusion of Proposition 3.5.3.8, then $v$ is a homotopy equivalence, so $Y$ has the homotopy type of a CW complex.