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
1 view
733
230
2 years ago 01:30:37 1
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
4 years ago 01:07:33 1
Univalent Foundations of Mathematics - Vladimir Voevodsky
7 years ago 00:57:55 15
Overview of Univalent Foundations - Vladimir Voevodsky
8 years ago 01:22:59 4
20140909 HGF5 Paul Bernays Lectures Voevodsky 01 dm
9 years ago 00:50:13 1
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
9 years ago 01:34:14 9
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
9 years ago 00:54:16 10
5 - Kick-off afternoon : Vladimir Voevodsy, Univalent Foundations