Category Theory
Zulip Server
Archive

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.

Stream: event: ACT@UCR

Topics:

• May 13th: Tai-Danae Bradley (93 messages, latest: Sep 23 2024 at 16:17)
• stream events (8 messages, latest: Oct 31 2023 at 11:17)
• April 22nd: Michael Shulman (247 messages, latest: Jan 26 2021 at 18:07)
• April 8th: Prakash Panangaden (137 messages, latest: Sep 01 2020 at 18:48)
• April 29th: Gershom Bazerman (97 messages, latest: Jun 19 2020 at 13:05)
• June 3rd: Nina Otter (111 messages, latest: Jun 17 2020 at 19:16)
• Re Zoom (1 message, latest: Jun 07 2020 at 16:12)
• May 27th: Simon Willerton (129 messages, latest: May 28 2020 at 01:41)
• May 6th: Sarah Rovner-Frydman (199 messages, latest: May 24 2020 at 17:16)
• May 20th: Gordon Plotkin (53 messages, latest: May 22 2020 at 13:08)
• April 15th: Jules Hedges (102 messages, latest: Apr 23 2020 at 18:18)
• Planning my talk (137 messages, latest: Apr 15 2020 at 16:24)
• separation logic & day convolution (181 messages, latest: Apr 06 2020 at 03:14)
• April 1st: John Baez (383 messages, latest: Apr 04 2020 at 21:03)
• April 1st: John Baez video (1 message, latest: Apr 01 2020 at 19:17)