[FOM] The HoTT Book

Steve Awodey awodey at cmu.edu
Thu Jun 20 15:25:05 EDT 2013


Dear FOM,

This is to announce that the following book is now available:

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

The 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:

	www.homotopytypetheory.org/book

There are several blog posts describing the book 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 hope you like it!

Regards,

Steve Awodey
(for The Univalent Foundations Program)


More information about the FOM mailing list