In his 1967 paper A convenient category of topological spaces, Norman Steenrod introduced the category CGH of compactly generated Haudorff spaces as a good replacement of the catgory Top topological spaces, in order to do homotopy theory.
The most important defference between CGH and Top is that in CGH there is a functorial homeomrphism $$\mathrm{map}(X,\mathrm{map}(Y,Z))\cong \mathrm{map}(X\times Y,Z),$$ a fact that is only true in Top under the extra assumption that $Y$ is locally compact.
But in more recent papers, I see that people use CGWH spaces instead of CGH spaces...
Why?
Could someone explain to me what goes wrong in CGH spaces
(and illustrate it with an example),
and explain how the "w" fixes everything?