The Category Theory Zulip server
is a Zulip server on the topic of category theory.
The server was set up in 2020 and is currently active. Messages can be read without an account, but an account is necessary to post. There is an archive of messages available at:
Created on October 23, 2023 at 12:09:30. See the history of this page for a list of all contributions to it.