category of compactly generated weak Hausdorff spaces

In mathematics, the category of compactly generated weak Hausdorff spaces, CGWH, is a category used in algebraic topology as an alternative to the category of topological spaces, Top, as the latter lacks some properties that are common in practice and often convenient to use in proofs. There is also such a category for the CGWH analog of pointed topological spaces, defined by requiring maps to preserve base points.{{harvnb|Strickland|2009|loc=Definition 4.1.}}

The articles compactly generated space and weak Hausdorff space define the respective topological properties. For the historical motivation behind these conditions on spaces, see Compactly generated space#Motivation. This article focuses on the properties of the category.

Properties

CGWH has the following properties:

It is complete{{harvnb|Strickland|2009|loc=Proposition 2.30.}} and cocomplete.{{harvnb|Strickland|2009|loc=Corollary 2.23.}}
The forgetful functor to the sets preserves small limits.
It contains all the locally compact Hausdorff spaces{{harvnb|Strickland|2009|loc=Proposition 1.7.}} and all the CW complexes.{{harvnb|Frankland|2013|loc= Proposition 3.2.}}
An internal Hom exists for any pairs of spaces X and Y;{{harvnb|Strickland|2009|loc=Proposition 2.24.}}{{harvnb|Frankland|2013|loc= Proposition 2.10.}} it is denoted by $\operatorname{Map}(X, Y)$ or $Y^X$ and is called the (free) mapping space from X to Y. Moreover, there is a homeomorphism
: $\operatorname{Map}(X \times Y, Z) \simeq \operatorname{Map}(X, \operatorname{Map}(Y, Z))$

:that is natural in X, Y, and Z.{{harvnb|Strickland|2009|loc=Proposition 2.12.}} In short, the category is Cartesian closed in an enriched sense.

A finite product of CW complexes is a CW complex.{{harvnb|Frankland|2013|loc= Proposition 4.2.}}
If $(X, *)$ and $(Y, \circ)$ are pointed spaces, then the smash product of them exists.{{harvnb|Strickland|2009|loc=§ 5.}} The (based) mapping space $\operatorname{Map}( (X, *), (Y, \circ))$ from $(X, *)$ to $(Y, \circ)$ consists of all base-point-preserving maps from $(X, *)$ to $(Y, \circ)$ and is a closed subspace of the mapping space between the underlying spaces without base points.{{harvnb|Strickland|2009|loc=Remark 5.6.}} It is a based space with the base point the unique constant map. Moreover, for based spaces $(X, *)$ , $(Y, \circ)$ , and $(Z, \star)$ , there is a homeomorphism
: $\operatorname{Map}((X, *) \wedge (Y, \circ), (Z, \star)) \simeq \operatorname{Map}((X, *), \operatorname{Map}((Y, \circ), (Z, \star)))$

:that is natural in $(X, *)$ , $(Y, \circ)$ , and $(Z, \star)$ .{{harvnb|Strickland|2009|loc=Proposition 5.7.}}

{{cite web |last=Frankland |first=Martin |title=Math 527 - Homotopy Theory – Compactly generated spaces |url=https://uregina.ca/~franklam/Math527/Math527_0204.pdf |date=February 4, 2013}}
{{cite journal |last1=Steenrod |first1=N. E. |title=A convenient category of topological spaces. |journal=Michigan Mathematical Journal |date=1 May 1967 |volume=14 |issue=2 |pages=133–152 |doi=10.1307/mmj/1028999711|doi-access=free }}
{{cite web |last=Strickland |first=Neil |title=The category of CGWH spaces |url=https://ncatlab.org/nlab/files/StricklandCGHWSpaces.pdf |date=2009}}
{{cite book |doi=10.1017/CBO9780511983948.007 |chapter=Appendix |title=Cellular Structures in Topology |year=1990 |pages=241–305 |isbn=9780521327848 }}