2
votes
2answers
228 views

Finitely cocomplete categories of compact Hausdorff spaces

Edit: Zhen Lin incisively observes in a comment below that the category of compact Hausdorff spaces is monadic over the category of sets, hence is cocomplete. That answers the first part of question 1 ...
0
votes
3answers
344 views

Existence of a Sub-Category of the Category of Topological Spaces

My question start with the following observations: If you have a finite number of topological spaces $X_1, \dots , X_n$ you can define a space that is the disjoint union of its $\sqcup_{i=1}^n ...
1
vote
0answers
132 views

Local cartesian closedness in the category of compactly generated spaces

According the the nLab, the category of compactly generated (CG) spaces is not locally cartesian closed. So if $A$ is a CG space and $C$ a CG space above $A$, $C$ may not be exponentiable. What if we ...