1. On Voevodsky's univalence axiom;Aczel,2011
2. Univalent foundations and the equivalence principle;Ahrens,2019
3. A generalized Blakers-Massey theorem;Anel;J. Topol.,2020
4. Homotopy theoretic models of identity types;Awodey;Math. Proc. Camb. Philos. Soc.,2009
5. Convenient categories of smooth spaces;Baez;Trans. Am. Math. Soc.,2011