Algebraic Topology
《Algebraic Topology》 · 第 349 页 · Theorem 4.8
Every map \(f:X\to Y\) of CW complexes is homotopic to a cellular map; if \(f\) is already cellular on a subcomplex \(A\subset X\), the homotopy may be taken relative to \(A\).