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]] * the [[Resources]] page * the [[References]] To be migrated: * The [IAS UF program wiki](http://uf-ias-2012.wikispaces.com/) Some mailing lists: * [Homotopy Type Theory Google Group](https://groups.google.com/forum/#!forum/homotopytypetheory) * [HoTT Amateurs Google Group](https://groups.google.com/forum/#!forum/hott-amateurs)