Finite type CW approximation
ID: finite-type-cw-approximation
For simply connected with finitely generated integral homology in every degree, the Hurewicz theorem modulo a Serre class gives finitely generated homotopy groups. Realize finite generating sets of successive relative homotopy groups by attaching finitely many cells at each stage. The resulting weak equivalence has finitely many cells in each dimension.
New to topics? Read the docs here!