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:
Some important pages on this wiki are:
Other important links:
Archived version of the now defunct UF-IAS wiki:
Some forums:
If you have any ideas for articles that you would like to see, let us know!
For now, this wiki works in parallel to the n-Lab. Links to the nlab HomePage can be made using the prefix nlab:
. For example, the pages that explain how to edit this wiki are the ones for the n-Lab’s HowTo. This would have to change soon as the nLab has changed wiki software and is no longer using Instiki, while this wiki is still using Instiki.
Last revised on May 19, 2022 at 13:32:02. See the history of this page for a list of all contributions to it.