Monthly Archives: June 2013

The HoTT Book

Posted on 20 June 2013 by Steve Awodey

This posting is the official announcement of The HoTT Book, or more formally: Homotopy Type Theory: Univalent Foundations of Mathematics The Univalent Foundations Program, Institute for Advanced Study The book is the result of an amazing collaboration between virtually everyone involved … Continue reading →

Posted in Foundations, Higher Inductive Types, Homotopy Theory, Paper, Univalence | 3 Comments