UF IAS 2012 Archive
Setoids, Groupoids, etc

Here are some resources on these:

Please add more.

Created on April 19, 2018 at 17:16:58 by Univalent foundations special year 2012