Dear categories, This is to announce that the following book is now available: Homotopy Type Theory: Univalent Foundations of Mathematics by the Univalent Foundations Program, IAS "The HoTT Book" was written as a massive collaborative effort during the recent special year on Univalent Foundations at the IAS. It is available as a free download, or printed and bound at cost, as described here: http://www.homotopytypetheory.org/book Further description can be found in the following blog posts: http://homotopytypetheory.org/2013/06/20/the-hott-book/ http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html http://math.andrej.com/2013/06/20/the-hott-book/ Regards, Mike Shulman (for The Univalent Foundations Program) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]