Welcome to the Homotopy Type Theory wiki! This wiki-site is for collaborative work on Homotopy Type Theory. 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]] page 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 Cafe Google Group](https://groups.google.com/forum/#!forum/hott-cafe) For now, this wiki works in parallel to the n-Lab. Links to the nlab [[nlab:HomePage]] can be made using the prefix `nlab:` .