Zulip Chat Archive

Stream: maths

Topic: Compact Hausdorff spaces

Adam Topaz (Oct 09 2020 at 21:30):

I opened a WIP PR for the equivalence between compact Hausdorff spaces and algebras for the ultrafilter monad.
Any comments are welcome! #4555

Adam Topaz (Oct 09 2020 at 21:40):

@Reid Barton I borrowed the definition of CompHaus you mentioned at some point on zulip. I hope you don't mind. Most of this work is around Compactum which is defined as the category of algebras for ultrafilter.

Adam Topaz (Oct 10 2020 at 00:22):

@Bhavik Mehta I'm looking forward to you PRing Grothendieck topologies so we can define sheaves on compacta :wink:

Last updated: Dec 20 2023 at 11:08 UTC