{"podcast":{"title":"Theories of Everything with Curt Jaimungal","slug":"theories-of-everything-with-curt-jaimungal-6685488","podcast_index_feed_id":6685488,"rss_url":"https://feeds.simplecast.com/WoEHhoGp","website_url":"https://youtube.com/TheoriesOfEverything","image_url":"https://megaphone.imgix.net/podcasts/3775439c-21d9-11ef-ba0a-0f2bf7e94c97/image/909651088bd04115de5cbc733f02b07e.png?ixlib=rails-4.3.1&max-w=3000&max-h=3000&fit=crop&auto=format,compress","author":"Curt Jaimungal","episode_count":346,"summary":"Exploring theoretical physics, consciousness, Ai, and God in a technically rigorous manner. If you'd like to support this endeavor, then please visit the Patreon ( https://patreon.com/curtjaimungal ). Thank you for your charitable and kindhearted support. My name's Curt Jaimungal, a Torontonian with a degree in mathematical physics from the University of Toronto and I analyze various Theories of Everything from this analytic perspective, though more and more opening up to alternative approaches. The separating factor of TOE from other podcasts is its focus on depth even at the risk of limiting the audience due to how much detail we delve into subjects. Paralleling the intensity found in academic discourse, we're increasingly embracing a spectrum of unconventional ideas to conduct research during this podcast, rather than merely conveying existing information. Contact toe [at] indiefilmTO [dot] com for business inquiries / sponsorship.","last_synced_at":null,"page_url":"https://stenobird.com/podcast/theories-of-everything-with-curt-jaimungal-6685488"},"episode":{"title":"Emily Riehl Makes Infinity Categories Elementary","slug":"emily-riehl-makes-infinity-categories-elementary","published_at":"2026-04-06T18:44:00+00:00","page_url":"https://stenobird.com/podcast/theories-of-everything-with-curt-jaimungal-6685488/emily-riehl-makes-infinity-categories-elementary","show_page_url":"https://stenobird.com/podcast/theories-of-everything-with-curt-jaimungal-6685488","url":"https://s.gum.fm/s-62d83916a854b1cc0031878d/pscrb.fm/rss/p/traffic.megaphone.fm/TEMI6824529213.mp3?updated=1775501775","audio_url":"https://s.gum.fm/s-62d83916a854b1cc0031878d/pscrb.fm/rss/p/traffic.megaphone.fm/TEMI6824529213.mp3?updated=1775501775","summary":"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.com/#recentnews Timestamps: 00:00 A Dream for the Future 01:55 Exploring Infinity Categories 03:54 The Role of Category Theory 10:17 Key Concepts of Category Theory 12:01 The Curry-Howard Correspondence 15:37 Understanding Left Adjoint Functors 24:38 The Innate Lemma Explained 38:29 Proving the Isomorphism 41:50 The Importance of Abstraction 44:04 A Crash Course in Category Theory 44:17 Introduction to Infinity Category Theory 56:27 Fundamental Infinity Groupoids 1:03:34 What Are Infinity Categories? 1:09:12 The Case for Infinity Categories 1:18:12 Transitioning to Homotopy Type Theory 1:22:49 Crash Course in Homotopy Type Theory 1:30:56 Type…","meta_description":"Emily Riehl, one of the world’s leading category theorists, shares her vision for making infinity category theory something undergrads can actually learn.…","key_points":[],"chapters":[],"topics":[],"duration_seconds":10180,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/theories-of-everything-with-curt-jaimungal-6685488/episodes/emily-riehl-makes-infinity-categories-elementary/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/theories-of-everything-with-curt-jaimungal-6685488/emily-riehl-makes-infinity-categories-elementary.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}