Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2 Published 2022-03-15 Download video MP4 360p Recommendations 1:13:34 Karen Vogtmann: The geometry and topology of automorphism groups of free groups 1:04:53 How I became seduced by univalent foundations 1:20:46 Simplicial Types - Peter Lumsdaine 49:45 Math Talk! Dr. Emily Riehl, to infinity categories and beyond. 1:13:30 Peter Zoller: Introduction to quantum optics - Lecture 1 19:10 The Most Mind-Blowing Out of Place (OOPARTS) Artifacts Ever Found? 2:01:05 Amir-Kian kashani-Poor: School on the Mathematics of Strings Theory : Introduction 35:52 Holly Krieger: Height pairings, torsion points, and dynamics 57:16 Peter Scholze: Local acyclicity in p-adic geometry 1:42:57 Homotopy Type Theory and Internal Languages of Higher Categories 11:07 Something You Didn't Know About The Pythagorean Theorem 28:54 A working (class) introduction to Homotopy Type Theory: The favourite type theory of the proletariat 03:59 The Woman Who's Rewriting Higher Category Theory 55:17 Walter Neumann: Lipschitz embedding of complex surfaces Similar videos 1:40:58 Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3 1:05:09 The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl 55:43 Pre-Homotopy Theories: Lecture 6, Modern Homotopy Theory 1:58:48 Homotopy II: Anodyne extensions and simplicial homotopy groups (9/12) 2:21:01 Category Theory For Beginners: Synthetic Differential Geometry 1:04:55 Carlo Angiuli - Homotopy Type Theory 101 1:08:28 Urs Schreiber: "Effective Quantum Certification via Linear Homotopy Types" More results