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.
Ray Adams (Apr 28 2026 at 21:48):I have acquired an extra copy of Egbert Rijke's "Introduction to Homotopy Type Theory" due to a requested order cancellation that didn't cancel. I am sure that my local library would not take such an advanced text for use by the public. Do you want it? Email ray at rayvadams dot com. US residents only please. I am willing to pay the postage to make sure this ends up in the hands of someone who will appreciate it, but not for international shipping.
Ray Adams (Apr 28 2026 at 22:35):This book has been claimed.