4 ms·
Is this [1] perhaps the book you’ll work through? [1] https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/
by hebrox 5y ago
Is this [1] perhaps the book you’ll work through?
[1] https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/
- jkhdigital 5y agoYes, exactly. She actually had a physical copy of it
- pklausler 5y agoGoodness, a mathematics hardcover for $21? I'm in!