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 (Nov 06 2025 at 20:16):Dear all,
This is the first announcement for the upcoming ICERM Graduate Training Workshop "Teaching Higher Category Theory with Computers", which will take place August 17 - 21, 2026.
Are you a graduate student (Master's or PhD) and want to learn about ∞-categories? Then we invite you to apply! Students with some familiarity with homotopy theory, category theory, homotopy type theory, and/or proof assistants who are interested in learning about ∞-categories are particularly encouraged.
Further details can be found on the ICERM webpage:
https://icerm.brown.edu/program/topical_workshop/tw-26-thc
Please submit your application via Cube:
https://app.icerm.brown.edu/Cube/apply/607
The deadline is March 31, 2026.
Best,
Nima, Emily, Jonathan
@Nima Rasekh (University of Greifswald)
@Emily Riehl (Johns Hopkins University)
@Jonathan Weinberger (Chapman University)