Emily Riehl, one of the world’s leading category theorists, shares her vision for making infinity category theory something undergrads can actually learn. In this talk, she breaks down how rethinking the foundations of math could change the way it’s taught and understood—and why it might redefine what math even is.I personally subscribe to The Economist. FLASH SALE through Sep 23, 2026: 60% off the annual subscription! No other podcast has this! https://economist.com/TOEEvery episode days early, ad-free, plus my essays: https://curtjaimungal.substack.com/subscribeJoin My New Substack (Personal Writings): https://curtjaimungal.substack.comListen on Spotify: https://tinyurl.com/SpotifyTOEBecome a YouTube Member (Early Access Videos):https://www.youtube.com/channel/UCdWIQh9DGG6uhJk8eyIFl1w/joinLinks:•⁠ ⁠Emily’s profile: https://emilyriehl.github.io/•⁠ ⁠Emily’s presentation: https://emilyriehl.github.io/files/undergraduates-TOE.pdf•⁠ ⁠A Type Theory For Synthetic ∞-Categories (paper): https://arxiv.org/pdf/1705.07442•⁠ ⁠Could ∞-Category Theory Be Taught To Undergraduates? (paper): https://arxiv.org/pdf/2302.07855•⁠ ⁠RZK proof assistant: https://rzk-lang.github.io/rzk/en/latest/•⁠ ⁠Lean Zulip chat: https://leanprover.zulipchat.com/#recentnewsTimestamps:Support TOE on Patreon: https://patreon.com/curtjaimungalCrypto: https://nowpayments.io/donation/TOETwitter: https://twitter.com/TOEwithCurtDiscord Invite: https://discord.com/invite/kBcnfNVwqs#scienceLearn more about your ad choices. Visit megaphone.fm/adchoices