Skip to main content
1 of 4
Klaus
  • 71
  • 2

Does the CGWH-fication change the (weak) homotopy type?

Let $Top$, $CG$, $WH$, $CGWH$ be the categories of topological spaces, comapctly gernerated spaces, weak Hausdorff spaces and compactly generated weak Hausdorff spaces.

There is the weak Hausdorffication $X_{WH}$ and the compactly generated space $X_CG$ of a space $X$. These provide adjoint pairs between $Top$ and $WH$ and also between $Top$ and $WH$. Combined, they give my the CWGH-fication $X_{CGWH}$ of a space $X$. The latter one is the one used implicitly in most of todays algebraic topology.

I'm interested in the question which of these constructions can change the (weak) homotopy type and which of them preserves it. It seems to me that at least in many cases, the weak homotopy type must be preserved. I really don't want to have $\Omega X$ to have a different homotopy type depending on whether I used the compactly generated topology on the mapping space or not.

Klaus
  • 71
  • 2