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. SUMMER SALE to Aug 17, 2026: 50% off the annual subscription! No other podcast has this! https://economist.com/TOEJoin 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/#recentnews Timestamps:Support TOE on Patreon: https://patreon.com/curtjaimungal Crypto: 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