Abstract Algebra in Homotopy-Coherent Mathematics - Jacob Lurie
1:00:10
The meta-theory of dependent type theories - Vladimir Voevodsky
1:00:59
Lie Algebras and Homotopy Theory - Jacob Lurie
1:19:53
The Futurists - EPS_283: Regenerative Futures with Marc Buckley
49:00
Chromatic homotopy theory - Jacob Lurie
25:19
Jacob Lurie: 2015 Breakthrough Prize in Mathematics Symposium
1:14:00
Jacob Lurie: Finiteness and Ambidexterity in K(n)-local stable homotopy theory (Part 1)
58:36
Jacob Lurie: Brauer Groups in Stable Homotopy Theory
1:07:30