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: deprecated: Dialectica

Topics:

• stream events (9 messages, latest: Oct 31 2023 at 11:14)
• Dialectica and games (36 messages, latest: Nov 28 2022 at 08:20)
• implementation (96 messages, latest: Sep 29 2022 at 04:03)
• lenses (23 messages, latest: Sep 08 2022 at 14:06)
• Berkeley reunion (1 message, latest: Jun 23 2022 at 22:34)
• meeting tomorrow? (8 messages, latest: Jun 17 2022 at 22:19)
• welcome (17 messages, latest: Jun 10 2022 at 10:01)
• puzzles (11 messages, latest: Jun 08 2022 at 19:51)
• comments on summary (1 message, latest: Jun 02 2022 at 18:20)
• Dialectica and Poly (57 messages, latest: Jun 02 2022 at 17:57)
• Lineale algebra (11 messages, latest: Jun 01 2022 at 22:24)
• Flavors of Dialectica (6 messages, latest: May 25 2022 at 04:33)
• 4th meeting today (1 message, latest: May 24 2022 at 17:50)
• Dialectica for Friends video (7 messages, latest: May 19 2022 at 00:11)
• Dialectica as $$\exists\forall$$ completion (14 messages, latest: May 17 2022 at 18:25)
• tentative subgroups (1 message, latest: May 14 2022 at 23:52)
• Dialectica and Compilers (1 message, latest: May 11 2022 at 18:11)
• Dialectica and Differential Linear Logic (3 messages, latest: May 11 2022 at 17:20)