April 5, 2026

Guests: Emily Riehl
Hosts: Nicholas Bellinson & Khafiz Kerimov

Emily Riehl (Johns Hopkins, Mathematics) joins us to discuss the power of abstraction in mathematics. Is category theory the mathematics of mathematics? What is infinity category theory? How has the form of a mathematical proof changed over time? Can AI execute mathematical proofs? LISTEN RECOMMENDED READING Elements of ∞-Category Theory, with Dominic Verity (2022) Fat […]

previous arrow
next arrow