CW approximation (source code)

= CW approximation
{c}

A CW approximation of a space $X$ is a <CW complex> $X_{\mathrm{cw}}$ with a <weak homotopy equivalence> $X_{\mathrm{cw}}\to X$. The realization of the <singular simplicial set> of $X$ supplies one functorially.