The Book is done!

[Steve Awodey]

Dear Friends,

It's finally done!

Homotopy Type Theory: Univalent Foundations of Mathematics
The Univalent Foundations Program, Institute for Advanced Study

The book is available as a free download, or printed and bound at cost, as described here:

www.homotopytypetheory.org/book

There are several blog posts describing it further.

- A general description is here:

http://homotopytypetheory.org/2013/06/20/the-hott-book/

- A more detailed description of the contents here:

http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html#more

- And a description of the "sociology" of the writing of the book is here:

http://math.andrej.com/2013/06/20/the-hott-book/

We can all be very proud of this!

Univalent regards,

Steve