Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: deprecated: logic

Topic: Has anyone tried to do domain theory in condensed sets? A...

view this post on Zulip Lucius Gregory Meredith (Jan 06 2022 at 14:13):

Domain theory in condensed sets?

view this post on Zulip Morgan Rogers (he/him) (Jan 06 2022 at 16:34):

Seems you hit the upper limit on topic title length. Generally speaking, there aren't enough people working in condensed sets for much outside the essential research to have been done. So my ignorant answer is: I doubt it!