# Kerodon

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

Definition 3.5.3.1. Let $X$ and $Y$ be topological spaces. We say that a continuous function $f: X \rightarrow Y$ is a weak homotopy equivalence if the induced map of singular simplicial sets $\operatorname{Sing}_{\bullet }(f): \operatorname{Sing}_{\bullet }(X) \rightarrow \operatorname{Sing}_{\bullet }(Y)$ is a homotopy equivalence (Definition 3.1.5.1).