Emily Riehl on Topology, Categories, and the Future of Mathematics Published 2021-05-10 Download video MP4 360p Recommendations 49:45 Math Talk! Dr. Emily Riehl, to infinity categories and beyond. 24:44 Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED 40:39 Category Theory in Life - Eugenia Cheng 24:11 Emmy Noether: The Greatest Forgotten Mathematician in History 1:07:56 Ed Witten, String Theory, and The Beauty of Numbers | Graham Farmelo (from 2021) 32:16 Category Theory for Neuroscience (pure math to combat scientific stagnation) 1:28:08 Emily Riehl | Feb 16, 2021 | Elements of ∞-Category Theory 1:25:02 Mindscape 168 | Anil Seth on Emergence, Information, and Consciousness 36:39 The quantum world: Dreams and delusions | Roger Penrose, Sabine Hossenfelder, Michio Kaku, and more! 1:06:13 Applied Category Theory 1:28:06 Mindscape 115 | Netta Engelhardt on Black Hole Information, Wormholes, and Quantum Gravity 1:04:53 How I became seduced by univalent foundations 1:29:26 Mindscape 149 | Lee Smolin on Time, Philosophy, and the Nature of Reality 2:25:18 Tai-Danae Bradley | Category Theory and Language Models | The Cartesian Cafe with Timothy Nguyen 40:49 Existential physics: answering life's biggest questions - with Sabine Hossenfelder 1:00:43 Jim Simons (full length interview) - Numberphile 1:21:35 Mindscape 132 | Michael Levin on Information, Form, Growth, and the Self Similar videos 05:07 MEET a Mathematician! - Emily Riehl 56:34 What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains 1:40:58 Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3 03:59 The Woman Who's Rewriting Higher Category Theory 1:53:51 ∞-Category Theory for Undergraduates 58:42 Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant 1:21:56 Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2 45:28 Lambda World 2019 - A categorical view of computational effects - Emily Riehl 1:05:09 The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl 09:14 Friends First: Ben & Emily Riehl More results