[[!redirects the HoTT book]] The Homotopy Type Theory book is available here: [homotopytypetheory.org/book](http://homotopytypetheory.org/book) It can be cited as: Homotopy Type Theory: Univalent Foundations of Mathematics, The Univalent Foundations Program, Institute for Advanced Study, 2013. [[!redirects book]] [[!redirects the book]] [[!redirects the Book]] [[!redirects The Book]] [[!redirects HoTT book]] [[!redirects HoTT Book]]