Welcome to the Homotopy Type Theory wiki! This wiki-site is for collaborative work on Homotopy Type Theory and Univalent Foundations. If you are new to these subjects, you may want to check out: * The [Homotopy Type Theory web site](http://homotopytypetheory.org) * The [Homotopy Type Theory book](http://homotopytypetheory.org/book) Some important pages on this wiki are: * [[About]] this wiki * [[open problems]] * [[type theories]] To be migrated: * The [IAS UF program wiki](http://uf-ias-2012.wikispaces.com/)