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 28 2022 at 15:59):Public stream created by Tim Hosgood. Description:
No description.
Matteo Capucci (he/him) (Apr 28 2022 at 17:11):good, i deleted the over-general stream :)
Valeria de Paiva (Apr 28 2022 at 18:45):Thanks @Matteo Capucci (he/him) !
Valeria de Paiva (Apr 28 2022 at 20:04):@Charlotte Aten maybe you should follow the Baez's stream on graphs structure as well, since you're interested in deadlock-free Petri nets?
Charlotte Aten (Apr 28 2022 at 20:15):Valeria de Paiva said:
Charlotte Aten maybe you should follow the Baez's stream on graphs structure as well, since you're interested in deadlock-free Petri nets?
That's a great idea, thanks!
Notification Bot (Oct 21 2023 at 14:35):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 31 2023 at 11:14):Matteo Capucci (he/him) changed the description for this stream.
No description.
Deprecated, use #theory: mathematics instead.
Notification Bot (Oct 31 2023 at 11:14):Matteo Capucci (he/him) renamed stream practice: Dialectica to deprecated: Dialectica.
Notification Bot (Oct 31 2023 at 11:14):Matteo Capucci (he/him) changed the posting permissions for this stream: