Functorial CW approximation Gamma X = |S_*X|

Intuition [Beginner]

Every topological space can be approximated by a CW complex, but there is a particularly clean way to do it that respects maps between spaces. The idea is simple: take a space $X$, build a simplicial set by recording every possible map from a simplex into $X$ (this is the singular complex $\mathrm{Sing}(X)$), and then geometrically realise that simplicial set back into a topological space. The result $\Gamma (X)=|\mathrm{Sing}(X)|$ is automatically a CW complex.

The approximation is good in the sense that the natural map $X\to \Gamma (X)$ (sending each point to its "address" in the approximation) induces isomorphisms on all homotopy groups. The space $\Gamma (X)$ captures the homotopy type of $X$ while discarding any pathological point-set topology.

This construction is functorial: a continuous map $f:X\to Y$ automatically produces a map $\Gamma (f):\Gamma (X)\to \Gamma (Y)$. This functoriality is what makes the approximation useful in proofs.

Visual [Beginner]

On the left, an arbitrary topological space $X$ (drawn as a blob with irregular shape). An arrow labelled "Sing" points right to a simplicial-set diagram showing simplices recording all possible maps into $X$. Another arrow labelled "$|-|$" (realisation) points to a CW complex $\Gamma (X)$ on the right (drawn as a clean cell complex). A curved arrow from $X$ to $\Gamma (X)$ is labelled "$\eta$" (the unit map).

The key idea: go from topology to combinatorics and back; the round trip cleans up the space while preserving its homotopy type.

Worked example [Beginner]

The circle. Start with $S^1$ viewed as the unit circle in $\mathbb{C}$. The singular complex $\mathrm{Sing}(S^1)$ has $n$-simplices given by all continuous maps ${\Delta }^n\to S^1$. There are many degenerate simplices and many non-degenerate ones wrapping around the circle. After geometric realisation, $\Gamma (S^1)=|\mathrm{Sing}(S^1)|$ is a CW complex with the homotopy type of $S^1$.

The unit map $\eta :S^1\to \Gamma (S^1)$ sends a point $z\in S^1$ to the 0-simplex in $\Gamma (S^1)$ corresponding to the singular 0-simplex (point map) at $z$. This map induces an isomorphism ${\pi }_1(S^1)\cong {\pi }_1(\Gamma (S^1))\cong \mathbb{Z}$.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition (Singular complex functor). The singular complex functor $\mathrm{Sing}:\mathbf{Top}\to \mathbf{sSet}$ assigns to each space $X$ the simplicial set $\mathrm{Sing}(X)$ with $n$-simplices ${\mathrm{Sing}}_n(X)={\mathrm{Hom}}_{\mathbf{Top}}(|{\Delta }^n|,X)$, where $|{\Delta }^n|$ is the geometric $n$-simplex. Face and degeneracy operators are induced by the coface and codegeneracy maps in the cosimplicial space $[n]\mapsto |{\Delta }^n|$.

Definition (CW approximation functor). The functorial CW approximation is the composite functor $\Gamma =|-|\circ \mathrm{Sing}:\mathbf{Top}\to \mathbf{Top}$. For any space $X$, the space $\Gamma (X)$ is a CW complex (since geometric realisation of any simplicial set is a CW complex), and the unit map ${\eta }_X:X\to \Gamma (X)$ is defined by ${\eta }_X(x)(\sigma )={\sigma }^{\ast }(x)$ for $\sigma :{\Delta }^n\to X$ a singular simplex, using the adjunction ${\mathrm{Hom}}_{\mathbf{Top}}(|{\Delta }^n|,X)\cong {\mathrm{Hom}}_{\mathbf{sSet}}({\Delta }^n,\mathrm{Sing}(X))$.

Theorem (CW approximation). For any topological space $X$, the unit map ${\eta }_X:X\to \Gamma (X)$ is a weak homotopy equivalence: it induces isomorphisms ${\pi }_n(X,x_0)\cong {\pi }_n(\Gamma (X),{\eta }_X(x_0))$ for all $n\ge 0$ and all basepoints.

Key theorem with proof [Intermediate+]

Theorem (Quillen equivalence $|-|⊣\mathrm{Sing}$). The geometric-realisation--singular-complex adjunction $|-|:\mathbf{sSet}\rightleftarrows \mathbf{Top}:\mathrm{Sing}$ is a Quillen equivalence between the standard model structure on $\mathbf{sSet}$ (cofibrations = monomorphisms, weak equivalences = maps whose realisation is a weak homotopy equivalence) and the Quillen model structure on $\mathbf{Top}$ (cofibrations = retracts of relative cell complexes, weak equivalences = weak homotopy equivalences).

Proof sketch. The singular functor preserves fibrations and weak equivalences (fibrations between Kan complexes are detected homotopy-theoretically, and singular complexes are always Kan). The unit ${\eta }_X:X\to |\mathrm{Sing}(X)|$ is a weak equivalence for all $X$ (by the CW-approximation theorem, proved via the connectivity of simplicial approximations). The counit ${ϵ}_K:\mathrm{Sing}(|K|)\to K$ is a weak equivalence for all simplicial sets $K$ (by direct verification on representables ${\Delta }^n$ and extension by colimits). These two facts together verify the Quillen-equivalence criterion. $\square$

Bridge. This Quillen equivalence is the categorical manifestation of the principle that simplicial sets faithfully encode homotopy types; the geometric-realisation functor translates the combinatorial skeleta of 03.12.24 into the CW-attachment process of [topology.cw-complex], while the singular functor translates continuous maps into the simplicial chains of [topology.singular-homology]. The adjunction itself mirrors the suspension-loop adjunction that underpins [topology.fibration], where one direction builds spaces and the other records paths.

Exercises [Intermediate+]

Advanced results [Master]

Fibrant and cofibrant replacement. In the model structure on $\mathbf{sSet}$, every simplicial set is cofibrant (the initial map $\varnothing \to X$ is a monomorphism). The fibrant replacement is given by Kan's ${\mathrm{Ex}}^{\infty }$ functor, which freely adjoins fillers for all missing horns. The composite $\Gamma$ provides a cofibrant replacement in $\mathbf{Top}$ (viewed with the Quillen model structure), since every CW complex is cofibrant.

Milnor's theorem (1959). Every compactly generated Hausdorff space has the homotopy type of a CW complex. The functor $\Gamma$ provides a constructive proof: the unit ${\eta }_X$ is a weak homotopy equivalence, and for spaces that are already CW complexes, Whitehead's theorem upgrades it to a genuine homotopy equivalence.

Synthesis. The CW-approximation functor $\Gamma$ is the cornerstone of the model-categorical approach to homotopy; it upgrades the skeletal decomposition of 03.12.24 into a functorial process that replaces arbitrary spaces by combinatorial models, the Kan-fibrant replacement parallels the path-space construction of [topology.fibration] by freely adding lifting properties, and the Quillen-equivalence framework connects to the Puppe sequences 03.12.27 by ensuring that cofibre and fibre sequences in $\mathbf{sSet}$ correspond precisely to their topological counterparts. The entire machinery translates problems about continuous spaces into problems about discrete combinatorics, where inductive and algebraic methods apply.

Full proof set [Master]

Proposition (Unit is weak equivalence). The unit map ${\eta }_X:X\to |\mathrm{Sing}(X)|$ induces isomorphisms on all homotopy groups.

Proof. For ${\pi }_0$: two points $x,y\in X$ lie in the same path component of $|\mathrm{Sing}(X)|$ iff there exists a singular 1-simplex $\sigma :|{\Delta }^1|\to X$ with $\sigma (0)=x$ and $\sigma (1)=y$, which is exactly the condition that $x$ and $y$ lie in the same path component of $X$.

For ${\pi }_n$ with $n\ge 1$: a class in ${\pi }_n(|\mathrm{Sing}(X)|,{\eta }_X(x_0))$ is represented by a map $S^n\to |\mathrm{Sing}(X)|$. By simplicial approximation, this is represented by a simplicial map ${\Delta }^n/\partial {\Delta }^n\to \mathrm{Sing}(X)$, which in turn is a singular map $|{\Delta }^n/\partial {\Delta }^n|\to X$, i.e., an element of ${\pi }_n(X,x_0)$. The bijection is natural and respects the group structure. $\square$

Connections [Master]

Simplicial sets 03.12.24 provide the combinatorial language in which $\Gamma$ operates; the singular complex $\mathrm{Sing}(X)$ is a Kan complex by construction, and its realisation is the CW approximation.

The CW-structure of [topology.cw-complex] is exactly what $\Gamma$ produces; the skeletal filtration of the singular complex translates into the cell-attachment structure of the approximation.

The Puppe cofibre sequence 03.12.27 relies on CW approximation to ensure that every map can be replaced by a cofibration between CW complexes, making the mapping-cone construction homotopy-invariant.

Bibliography [Master]

@article{milnor1959,
  author = {Milnor, John},
  title = {On spaces having the homotopy type of a {CW}-complex},
  journal = {Trans. Amer. Math. Soc.},
  volume = {90},
  pages = {272--280},
  year = {1959}
}

@book{may-concise,
  author = {May, J. Peter},
  title = {A Concise Course in Algebraic Topology},
  publisher = {University of Chicago Press},
  year = {1999}
}

@book{hatcher2002,
  author = {Hatcher, Allen},
  title = {Algebraic Topology},
  publisher = {Cambridge University Press},
  year = {2002}
}

@book{quillen1967,
  author = {Quillen, Daniel},
  title = {Homotopical Algebra},
  series = {Lecture Notes in Mathematics},
  volume = {43},
  publisher = {Springer},
  year = {1967}
}

Historical & philosophical context [Master]

The idea that every space can be approximated by a CW complex goes back to J.H.C. Whitehead's 1949 papers on combinatorial homotopy, where he proved that a weak homotopy equivalence between CW complexes is a genuine homotopy equivalence. The functorial construction $\Gamma =|\mathrm{Sing}(-)|$ was implicit in the work of Eilenberg and Kan but made explicit in the model-categorical framework of Quillen's 1967 "Homotopical Algebra" ^{[Quillen 1967]}.

Milnor's 1959 paper ^{[Milnor 1959]} showed that every space of interest has the homotopy type of a CW complex, providing the foundational guarantee that CW approximation loses nothing. The philosophical significance is that homotopy theory can be done entirely in the combinatorial category of simplicial sets, bypassing the point-set pathologies of general topology. This perspective dominates modern homotopy theory and underlies Lurie's theory of $\infty$-categories.