Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
In this video I have a lovely discussion with Dr. Emily Riehl about math, HoTT, infinity categories, and more! Dr. Riehl's site, with links to publications: https://emilyriehl.github.io/ Dr. Riehl's band, Unstraight: https://unstraightmusic.com/ Spectra: http://lgbtmath.org/
▶︎
Emily Riehl Makes Infinity Categories Elementary
▶︎
Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
▶︎
Essential Math Textbooks
▶︎
Mindscape 146 | Emily Riehl on Topology, Categories, and the Future of Mathematics
▶︎
A Great Beginner Proofs Book - Jay Cummings
▶︎
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
▶︎
2026 Fields Medal: Hong Wang
▶︎
AI and the Battle for the Soul with Iain McGilchrist - Lecture 1: Information is Not Understanding
▶︎
Limits of Logic: The Gödel Legacy
▶︎
∞-Category Theory for Undergraduates
▶︎
Saunders Mac Lane: "Mysteries and Marvels of Mathematics"
▶︎
Chosen One, This Is Why God Kept You Single All This Time
▶︎
ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)
▶︎
Lambda World 2019 - A categorical view of computational effects - Emily Riehl
▶︎
Why This Is the Most Exciting Time to Be Human | Ken Ono, Axiom Math
▶︎
MEET a Mathematician! - Emily Riehl
▶︎
CHOSEN ONE! SOMEONE IN A SUIT JUST ASKED "WHO TRAINED THEM?" ...NOBODY DID. THAT'S THE MYSTERY
▶︎
Category Theory, The essence of interface-based design - Erik Meijer
▶︎
Computer Science and Homotopy Theory - Vladimir Voevodsky
▶︎