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.
Tom de Jong (Oct 28 2025 at 12:49):In celebration of Martín Escardó's 60th birthday this year, Eric Finster and I are pleased to announce a two-day workshop on 17–18 December 2025 at the University of Birmingham.
https://tdejong.com/mhe60
The full list of over 20 invited speakers can be found on the website and reflects Martín's diverse contributions to constructive mathematics, domain theory, locale theory, logic, topology and homotopy/univalent type theory.
The workshop is co-located with the Midlands Graduate School (MGS) Christmas Seminar on 16 December 2025 and will support remote participation.
If you would like to attend (in person or remotely), please register by 21 November 2025 by completing this form.