How I became seduced by univalent foundations Published 2022-10-19 Download video MP4 360p Recommendations 54:56 Varieties of Mathematical Understanding 58:42 Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant 1:04:40 Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations" 14:17 Univalent foundations and the equivalence principle - Benedikt Ahrens 56:52 Intensionality, Invariance, and Univalence, Steve Awodey 1:16:51 Emily Riehl on Topology, Categories, and the Future of Mathematics 1:04:55 Carlo Angiuli - Homotopy Type Theory 101 55:41 Univalent Foundations Seminar - Steve Awodey 1:43:33 André Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b 11:37 Stable Marriage Problem (the math bit) 32:16 Category Theory for Neuroscience (pure math to combat scientific stagnation) 1:33:26 Multiple Concepts of Equality in the New Foundations of Mathematics by Vladimir Voevodsky 1:06:13 Applied Category Theory 1:28:36 Homotopy Theory in Type Theory "Homotopy Group"- Licata, Brunerie, Lumsdaine 28:28 Russell's Paradox - a simple explanation of a profound problem 1:53:51 ∞-Category Theory for Undergraduates 1:02:46 Koopman Operator Theory Based Machine Learning of Dynamical Systems 45:00 Lean for the Curious Mathematician 2023 Category Theory Similar videos 49:45 Math Talk! Dr. Emily Riehl, to infinity categories and beyond. 1:29:21 Panel Discussion | 2022 Fields Medal Symposium 1:11:24 What makes a proof acceptable? 53:50 Is mathematical interest just a matter of taste? 04:25 aqueronte Emily Riehl, Kim Starke More results