An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky
50:13
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
48:08
A History of Primes - Manindra Agrawal
55:54
The mathematical work of Vladimir Voevodsky - Dan Grayson
56:48
Connections Between Braid Groups, Homotopy Theory, and Low Dimensional Topology - Fred Cohen
53:56
What is a Manifold? - Mikhail Gromov
1:08:49
Algebraic Topology 1: Homotopy Equivalence
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
1:34:14