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 (Oct 21 2023 at 14:31):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 21 2023 at 14:31):Nathanael Arkor changed the description for this stream.
Welcome! If you haven't done so yet, do introduce yourself! Go here for fresh invite links. (Not archived)
Welcome! If you haven't done so yet, do introduce yourself! Go here for fresh invite links.
Notification Bot (Oct 31 2023 at 11:54):Matteo Capucci (he/him) renamed stream general to meta: general.
Morgan Rogers (he/him) (Oct 31 2023 at 11:58):@Matteo Capucci (he/him) Should this be "community: general" instead?
Matteo Capucci (he/him) (Oct 31 2023 at 12:00)::shrug: I have no strong opinions, I regard this as a 'everything but the kitchen sink' stream
Morgan Rogers (he/him) (Oct 31 2023 at 12:09):Just looking at the topics, they all seem to be things about the community rather than the zulip itself. Also, "meta: general" doesn't mean much to me :sweat_smile:
Jules Hedges (Oct 31 2023 at 12:10):Whatever it is, this isn't a meta stream
Paolo Perrone (Oct 31 2023 at 12:10):How about community:general, or something like that?
Paolo Perrone (Oct 31 2023 at 12:12):I think it was "meta" because it wanted to be above the other categories (it's not all about events, it's not all about learning, etc).
Matteo Capucci (he/him) (Oct 31 2023 at 12:19):Yeah
Matteo Capucci (he/him) (Oct 31 2023 at 12:19):Community: general is fine
Notification Bot (Oct 31 2023 at 12:19):Matteo Capucci (he/him) renamed stream meta: general to community: general.