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 subscribe to The Economist for their science and tech coverage. As a TOE listener, get 35% off! 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 Twitter: https://twitter.com/TOEwithCurtDiscord Invite: https://discord.com/invite/kBcnfNVwqs#scienceLearn more about your ad choices. Visit megaphone.fm/adchoices