How I became seduced by univalent foundations Published 2022-10-19 Download video MP4 360p Download video MP4 720p Recommendations 54:56 Varieties of Mathematical Understanding 49:45 Math Talk! Dr. Emily Riehl, to infinity categories and beyond. 24:44 Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED 51:49 The joy of abstract mathematical thinking - with Eugenia Cheng 23:40 The Hardest Problem in Type Theory - Computerphile 10:49 Unveiling Quantum Mysteries: The Double-Slit Experiment 54:56 Terence Tao, "Machine Assisted Proof" 32:16 Category Theory for Neuroscience (pure math to combat scientific stagnation) 00:37 Some of the major achievements of Peter Scholze in chronological order. 2:00:43 Dealing with Chaos: Artur Avila's Public Opening Lecture of the 2019 Fields Medal Symposium 1:06:57 ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl) 57:32 Five Stages of Accepting Constructive Mathematics - Andrej Bauer 10:32 The Cultivated Narcissism of Hollywood | Adrian Grenier 45:28 Lambda World 2019 - A categorical view of computational effects - Emily Riehl 13:31 Homotopy Type Theory Discussed - Computerphile 26:20 A Sensible Introduction to Category Theory 1:36:55 Public Opening of the 2021 Fields Medal Symposium 02:29 Emily Riehl: Mathematician, Musician, Educator 50:13 Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky 14:41 What is...homotopy type theory? Similar videos 1:03:05 Andrei Rodin: "Univalent Foundations and Applied Mathematics" 01:06 WoW! - Emily Riehl 01:30 Big Surprise for Johns Hopkins Mathematician 53:50 Is mathematical interest just a matter of taste? 1:29:21 Panel Discussion | 2022 Fields Medal Symposium 04:25 aqueronte Emily Riehl, Kim Starke 1:11:24 What makes a proof acceptable? 46:17 Artin reciprocity via spheres 1:14:25 Riga Biotech meetup FEB 2016 More results