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.
Nima Rasekh (Sep 25 2025 at 08:03):Dear all,
We are organising a meeting on the topic “Formalizing Higher Categories”, June 8–12 next year, at the Mittag-Leffler Institute in Stockholm: https://www.mittag-leffler.se/activities/formalizing-higher-categories/
Capacity for the meeting is highly limited, so attendance is by invitation only. To keep the selection as open and inclusive as possible, we would like to hear from anyone potentially interested in attending or following online.
If you are potentially interested in participating, please fill in the form https://forms.gle/GfRFQj2jhQHiWkqVA by Tuesday, October 7 so we can take it into account for planning.
Best,
–Nima, Thierry, Paige, Jonathan, Peter.
@Nima Rasekh
@Thierry Coquand
@Paige North
@Jonathan Weinberger
Peter LeFanu Lumsdaine