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.
Valeria de Paiva (May 24 2022 at 17:50):hi all, thanks for an excellent meeting today!
great slides Jonathan and Charlotte! please upload them to our Google Drive repo.
Things I want of all of us:
Five questions that we want to work, on from each subgroup, to add to 20 questions.
these questions have to be actionable, not too generic like "solve climate change".
Basic references from each group, already read, please.
EDIT: I hope all the slides from the 4 previous meetings will be put in the respective folders in the Google Drive MRC-Dialectica: Dial-Games, Dial-Poly, Dial-Lenses, Dial-Calc (for calculations instead of implementation), together with the basic references, please. There should be 3 recordings of meetings, 4 chats and several sets of slides.