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 (Oct 22 2025 at 22:37):The first meeting of the network "Higher Structures in Category
Theory, Homotopy Theory and Type Theory" will take place on
19 November 2025 in Nottingham:
https://sites.google.com/view/higherstructures/meetings
Everyone is welcome to attend this one-day (in-person only,
sorry) workshop. For planning purposes, please complete
the (free) registration form available at the link above. There
is an option to submit a title and abstract for a contributed talk.
Deadline for registration and submitting contributed talk
proposals: 5 November 2025
Invited speakers:
@Léonard Guetta, Utrecht University
@Nima Rasekh, University of Greifswald
Titles and abstracts, together with more information about
the workshop, can be found at the link above.
Best wishes,
Nicolai, for the network organisers:
Eric Finster (University of Birmingham)
Nicola Gambino (University of Manchester)
Nicolai Kraus (University of Nottingham)
Simona Paoli (University of Aberdeen)