Zulip Chat Archive

Stream: maths

Topic: Compact Hausdorff spaces


view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip 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: May 14 2021 at 19:21 UTC