3 ms·
Is this supposed to be more accessible than the HoTT textbook that's been maintained on Github for some years? https://github.com/HoTT/book https://github.com/
by throwaway81523 4y ago
Is this supposed to be more accessible than the HoTT textbook that's been maintained on Github for some years? https://github.com/HoTT/book https://github.com/HoTT/book
- turminal 4y agoYes, from the abstract: > The book is entirely self-contained, and in particular no prior familiarity with type theory or homotopy theory is assumed.