3 ms·
Not sure what you mean by self-contained, but there is the Homotopy Type Theory book: https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/
by joycian 6y ago
Not sure what you mean by self-contained, but there is the Homotopy Type Theory book:
https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/