Return to Question

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 CG-ification $X_{CG}$ of a space $X$ and the WH-ification $X_{WH}$ of a compactly generated space $X$. These provide adjoint pairs between $Top$ and $CG$ and also between $CG$ and $CGWH$. Combined, they give my the CGWH-fication $(X_{CG})_{WH}=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.

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

There is the CG-ification $X_{CG}$ of a space $X$ and the WH-ification $X_{WH}$ of a compactly generated space $X$. These provide adjoint pairs between $Top$ and $CG$ and also between $CG$ and $CGWH$. Combined, they give me the CGWH-fication $(X_{CG})_{WH}=X_{CGWH}$ of a space $X$. The latter one is the one used implicitly in most of today's 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.

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 CGWH-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.

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 CG-ification $X_{CG}$ of a space $X$ and the WH-ification $X_{WH}$ of a compactly generated space $X$. These provide adjoint pairs between $Top$ and $CG$ and also between $CG$ and $CGWH$. Combined, they give my the CGWH-fication $(X_{CG})_{WH}=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.

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.

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 CGWH-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.