Emily Riehl: "Contractibility as uniqueness"
1:18:00
Jonathan Gorard: "Fast Diagrammatic Reasoning and Compositional Approaches to Fundamental Physics"
1:16:51
Emily Riehl on Topology, Categories, and the Future of Mathematics
1:04:53
How I became seduced by univalent foundations
1:02:06
On Gradient-Based Optimization: Accelerated, Distributed, Asynchronous and Stochastic
1:04:05
Amélia Liao: "Cubical types for the working formalizer"
1:25:43
Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories
1:14:25
Jamie Vicary: "Understanding free infinity-categories"
1:33:59