## 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.

#### 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: May 14 2021 at 19:21 UTC