[FOM] The HoTT Book
awodey at cmu.edu
Thu Jun 20 15:25:05 EDT 2013
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:
There are several blog posts describing the book further.
- A general description is here:
- A more detailed description of the contents here:
- And a description of the "sociology" of the writing of the book is here:
We hope you like it!
(for The Univalent Foundations Program)
More information about the FOM