Repository navigation
Homotopy category #409
Description
I suggest adding Ho(Top), the homotopy category of topological spaces with weak homotopy equivalences. And perhaps also the pointed variant.
This issue has been created by Colin McQuillan via the submission form on https://catdat.app/category-list
Activity
ScriptRaccoon commentedon Oct 9, 2026
You mean the localization of hTop at the class of weak equivalences, right? The category hTop is already on the list (#14).
cmcq commentedon Oct 9, 2026
I see, I didn’t search existing issues. Please delete/mark as duplicate
ScriptRaccoon commentedon Oct 9, 2026
The issue #14 only listed$hTop$ (where morphisms are homotopy classes of continuous maps). I have now also added $hTop_*$ , $ho(Top)$ (the localization) and $ho(Top_*)$ . Hence, I will close here.