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.
Notification Bot (Mar 23 2020 at 18:24):Stream created by Christian Williams.
John Baez (Mar 23 2020 at 20:27):What are "stream events"?
Jules Hedges (Mar 23 2020 at 20:28):I think those are automatically created, it this case the "event" was that the stream was created
Christian Williams (Mar 23 2020 at 20:28):honestly, I'm not sure. maybe if someone changes the settings.
John Baez (Mar 23 2020 at 20:30):Okay, I'll ignore 'em!
Notification Bot (Apr 06 2020 at 05:32):Christian Williams renamed stream category theory to theory: category theory.
Notification Bot (Nov 24 2022 at 18:58):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.