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.
Daniel Geisler (Apr 13 2024 at 23:34):I believe a new site on category theory just came online. Kerodan.net "an online resource for homotopy-coherent mathematics".
Kerodon is an online textbook on categorical homotopy theory and related mathematics. It currently consists of a handful of chapters, but should grow (slowly) over time. It is modeled on the Stacks project, and is maintained by Jacob Lurie.
David Michael Roberts (Apr 13 2024 at 23:39):Link's broken, here's a working on https://kerodon.net/changes
Kevin Carlson (Arlin) (Apr 13 2024 at 23:51):As you can see, it's not actually particularly new. It's quite nice though.
Peva Blanchard (Apr 14 2024 at 06:14):What a cute mascot!
It makes the homepage look like a math book for children and then .... "Chapter 1: The language of -categories".
The world would be a better place if there were more math books like that :smile:
Noah Chrein (Apr 15 2024 at 00:09):This is Luries HTT in webpage form. Though I think there are a number of new things and different presentations