UF-IAS-2012 wiki archived

[Michael Shulman]

The wiki used for the 2012-2013 Univalent Foundations program at the
Institute for Advanced Study was hosted at a provider called
Wikispaces. After the program was over, the wiki was no longer used,
but was kept around for historical and archival purposes; much of it
is out of date, but it still contains some content that hasn't been
reproduced anywhere else.

Unfortunately, Wikispaces is closing, so the UF-IAS-2012 wiki will no
longer be accessible there. With the help of Richard Williamson, we
have migrated all of its content to a new archival copy hosted on the
nLab server:

https://ncatlab.org/ufias2012/published/HomePage

Let us know if you find any formatting or other problems.