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.
Davi Sales Barreira (May 04 2022 at 20:57):I've recently learned about the existence of Homotopy type theory. The subject seems very interesting. I'm wondering about prerequisites, and good introductory books. To give some context, I have a masters in applied mathematics, and I'm currently undertaking a phd also in applied math, with focus on applied category theory. References, tips, and comments are very welcomed .
John Baez (May 04 2022 at 22:34):The free HoTT book is the canonical introduction. There are lots of videos of talks on YouTube, at various levels.
John Baez (May 04 2022 at 22:35):There are probably lots of other introductory materials that experts here will know about.
Ulrik Buchholtz (May 05 2022 at 05:53):@Davi Sales Barreira you're welcome to join the Summer school this Summer on HoTT: https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
We'll use @Egbert Rijke 's introductory book; if you follow the link to the discord server, you can find the book in the #resources channel.
Davi Sales Barreira (May 05 2022 at 12:00):Ulrik Buchholtz said:
Davi Sales Barreira you're welcome to join the Summer school this Summer on HoTT: https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
We'll use Egbert Rijke 's introductory book; if you follow the link to the discord server, you can find the book in the#resourceschannel.
Thanks a lot! The summer school looks awesome! I'll definitely attend
Jonathan Weinberger (May 08 2022 at 13:44):There's also the HoTT Zulip.