Timeline for How algebraic can the dual of a topological category be?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 12 at 12:05 | comment | added | Ivan Di Liberti | @JamesEHanson indeed, I would claim that the category of compact Haussdorff spaces is not (just) a category of "spaces", it's a category of "compact spaces". | |
| Sep 11 at 19:36 | comment | added | James E Hanson | An interesting question that I do not know how to approach is whether there could be a different forgetful functor from $\mathrm{CH}$ to $\mathrm{Set}$. | |
| Sep 11 at 19:12 | comment | added | James E Hanson | The nice duality properties of the category of compact Hausdorff spaces is certainly a strong motivating example for my question, but the normal forgetful functor from compact Hausdorff spaces to sets is not topological. (One way to see this is that coproducts in such categories are preserved by the forgetful functor. Coproducts exist in compact Hausdorff spaces, but they add points in general.) | |
| Sep 11 at 8:10 | history | answered | Neil Strickland | CC BY-SA 4.0 |