Univalent Foundations of Mathematics - Vladimir Voevodsky

Univalent Foundations of Mathematics - Vladimir Voevodsky Institute for Advanced Study December 10, 2010 The correspondence between homotopy types and higher categorical analogs of groupoids which was first conjectured by Alexander Grothendieck naturally leads to a view of mathematics where sets are used to parametrize collections of objects without “internal structure“ while collections of objects with “internal structure“ are parametrized by more general homotopy types. Univalent Foundations are based o