show/hide this revision's text 3 added 85 characters in body

In his 1967 paper A convenient category of topological spaces, Norman Steenrod introduced the category CGH of compactly generated Hausdorff 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 homeomorphism $$\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 (please illustrate with an example),
and explain how the "w" fixes everything?

Also (following Jeff's comment), to whom should the "w" be attributed?

One more wish: can someone give me an example of a CGWH space that isn't CGH?
show/hide this revision's text 2 added 77 characters in body; edited title; added 1 characters in body

Why the "W" in CGWH (compactly generated weakly Haudorff Hausdorff spaces)?

In his 1967 paper A convenient category of topological spaces, Norman Steenrod introduced the category CGH of compactly generated Haudorff Hausdorff 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 homeomorphism $$\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 please illustrate it with an example),
and explain how the "w" fixes everything?

Also (following Jeff's comment), to whom should the "w" be attributed?
show/hide this revision's text 1

Why the "W" in CGWH (compactly generated weakly Haudorff spaces)?

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?