I've heard that there are many convenient categories for algebraic topology. Such categories often have many nice properties like being cartesian closed, complete, cocomplete, the forgetful functor creates limits, containing all "nice" spaces like CW complexes and topological manifolds, et cetera. But the only convenient category for algebraic topologies that I know are the category of compact generated weakly Hausdorff (CGWH) spaces. Can someone briefly summarize other such categories and their advantages and disadvantages when compared to the category of CGWH spaces?
Comparisons of convenient categories for algebraic topology
Rick Sternbach
- 1.6k
- 6
- 14