Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program Institute for Advanced Study Buy a hardcover copy for $21.00. [620 pages, 6″ × 9″ size, hardcover, first-edition-1277-g3274cb3] Buy a paperback copy for $14.00. [620 pages, 6″ × 9″ size, paperback, first-edition-1277-g3274cb3] Download PDF for on-screen viewing. [490+ pages, letter size, in color, with col
![The HoTT Book](https://cdn-ak-scissors.b.st-hatena.com/image/square/d51cba9c9b0bb6564b09f448c0256c73999029dd/height=288;version=1;width=512/https%3A%2F%2Fhomotopytypetheory.org%2Fwp-content%2Fuploads%2F2013%2F03%2Fcover-web.png%3Fw%3D208)