3 ms·

I haven’t read the textbook, but Egbert did a session at the HoTT 2019 summer school — which was excellent. [1] This book looks to be based on those notes (whi

I haven’t read the textbook, but Egbert did a session at the HoTT 2019 summer school — which was excellent. [1] This book looks to be based on those notes (which themselves came from a course a year earlier). I’d definitely recommend this book on the strength of that experience. [1] - https://hott.github.io/HoTT-2019/images/hott-intro-rijke.pdf https://hott.github.io/HoTT-2019/images/hott-intro-rijke.pdf

dunham 4y ago
Also, a draft of book itself was used for the 2022 summer school: https://github.com/martinescardo/HoTTEST-Summer-School/tree/main/HoTT https://github.com/martinescardo/HoTTEST-Summer-School/tree/... https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_su... I didn't really have time for the school, but I'm working through the book to learn MLTT. (Although I took a break to work through PLFA and do advent of code.)