 Cellular approximation theorem

In algebraic topology, in the cellular approximation theorem, a map between CW-complexes can always be taken to be of a specific type.Concretely, if "X" and "Y" are CW-complexes, and "f"