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/TOE
Join My New Substack (Personal Writings): https://curtjaimungal.substack.com
Listen on Spotify: https://tinyurl.com/SpotifyTOE
Become a YouTube Member (Early Access Videos): https://www.youtube.com/channel/UCdWIQh9DGG6uhJk8eyIFl1w/join
Links: • 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.