http://math.uchicago.edu/~chicagotopology2/UChicago-summerschool-2016.pdf The Whitehead theorem, CW approximation and the Eilenberg-Steenrod axioms