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.
Nicolai Kraus (Jul 29 2026 at 01:01):Dear all,
The second meeting of the network ‘Higher Structures in Category Theory, Homotopy Theory and Type Theory’ will take place at the University of Aberdeen, with talks on 8 and 9 September 2026 and optional discussion sessions in the morning of 10 September 2026.
Invited speakers will include:
In addition, we invite abstract submissions for contributed talks. Participation is free and everyone is welcome, but please complete the registration from and abstract submission by Friday 31 August 2026:
https://docs.google.com/forms/d/e/1FAIpQLSdJUFHlKVHhiwGo-LvGEt1iDeXRTLf3xG6dIbRmrP3W9Jb_yw/viewform?usp=header
The network website is available here:
https://sites.google.com/view/higherstructures/home
Any enquiries about funding should be sent to simona.paoli@abdn.ac.uk.
The network organizers:
Eric Finster, Nicolai Kraus, Nicola Gambino, Simona Paoli.