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]]