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 (Apr 22 2020 at 18:45):Stream created by Christian Williams.
Notification Bot (Oct 20 2023 at 15:17):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 31 2023 at 11:20):Matteo Capucci (he/him) changed the description for this stream.
Discussion of concurrent languages and computation.
Deprecated, use #theory: applications instead. Discussion of concurrent languages and computation.
Notification Bot (Oct 31 2023 at 11:20):Matteo Capucci (he/him) renamed stream theory: concurrency to deprecated: concurrency.
Notification Bot (Oct 31 2023 at 11:20):Matteo Capucci (he/him) changed the posting permissions for this stream: