Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
51:59
Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
43.9K views11 months ago
YouTubeHopkins Natural Philosophy Forum
Emily Riehl — The future of mathematics | Math, Inc.
43:12
Emily Riehl — The future of mathematics | Math, Inc.
5.8K views8 months ago
YouTubeMath Inc
Emily Riehl - 数学证明的新范式？
Emily Riehl - 数学证明的新范式？
1.4K views10 months ago
bilibili筑桥者Hagi
Mindscape 146 | Emily Riehl on Topology, Categories, and the Future of Mathematics
1:16:51
Mindscape 146 | Emily Riehl on Topology, Categories, and the Future of Mathematics
28.4K viewsMay 10, 2021
YouTubeSean Carroll
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (3)
1:05:55
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (3)
190 views9 months ago
YouTubeINI Seminar Room 1
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
49:45
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
19.2K viewsFeb 9, 2023
YouTubeK-Theory
Mathematician Emily Riehl of Johns Hopkins University hopes to make infinity category theory — a never-ending tower of equivalences — accessible to more mathematicians. ••• Read the full interview at QuantaMagazine.org: https://www.quantamagazine.org/emily-riehl-conducts-the-mathematical-orchestra-from-the-middle-20200902/ ••• 0:00 What is category theory? 0:37 Fundamental Theorem of Category Theory 1:27 Infinity Categories 2:01 Model-Specific Infinity Categories 2:51 Infinity Cosmoi ••• Video b
3:59
Mathematician Emily Riehl of Johns Hopkins University hopes to make infinity category theory — a never-ending tower of equivalences — accessible to more mathematicians. ••• Read the full interview at QuantaMagazine.org: https://www.quantamagazine.org/emily-riehl-conducts-the-mathematical-orchestra-from-the-middle-20200902/ ••• 0:00 What is category theory? 0:37 Fundamental Theorem of Category Theory 1:27 Infinity Categories 2:01 Model-Specific Infinity Categories 2:51 Infinity Cosmoi ••• Video b
11.7K viewsSep 4, 2020
FacebookQuanta Magazine
1:09:21
Prof. Emily Riehl | Formalizing invisible mathematics: case studies from higher category theory
3.1K viewsJun 25, 2025
YouTubeINI Seminar Room 1
58:42
Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant
1.6K viewsMay 31, 2024
YouTubeHausdorff Center for Mathematics
38:15
Emily Riehl: Formalizing post-rigorous mathematics
1.3K viewsJul 15, 2024
YouTubeHausdorff Center for Mathematics
24:44
Mathematician Explains Infinity in 5 Levels of Difficulty | WIRED
5.5M viewsJan 30, 2023
YouTubeWIRED
16:44
The Most Unorthodox Mathematician Of Our Times
136.9K views7 months ago
YouTubeTuring
2:43:41
Emily Riehl Makes Infinity Categories Elementary
70.4K viewsMar 28, 2025
YouTubeCurt Jaimungal
56:34
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
46.3K viewsDec 16, 2020
YouTubeJohns Hopkins University
45:28
Lambda World 2019 - A categorical view of computational effects - Emily Riehl
29.7K viewsNov 4, 2019
YouTubeLambda World
45:19
A Solution to the Stable Marriage Problem: Emily Riehl Public Lecture
14.3K viewsMay 12, 2021
YouTubePerimeter Institute for Theoretical Physics
5:07
MEET a Mathematician! - Emily Riehl
13K viewsJan 24, 2021
YouTubeMeet a Mathematician
The mathematic mind of Emily Riehl
Jan 25, 2022
jhu.edu
1:11:05
Could ∞-category theory be taught to undergraduates or to a computer?, Emily Riehl | LMS
472 views10 months ago
YouTubeLondon Mathematical Society
8:37
Stable Marriage Problem - Numberphile
959.9K viewsSep 4, 2014
YouTubeNumberphile
1:06:57
ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)
16.2K viewsJul 6, 2020
YouTubeApplied Category Theory
51:50
Emily Riehl: Synthetic perspectives on the Yoneda lemma
1.6K viewsOct 2, 2025
YouTubeCentre International de Rencontres Mathématiques
0:39
Where do you even begin when trying to explain the #concept of #infinity ? Mathematician Emily Riehl has been #challenged to #explain the idea of infinity at five different levels. #math #mathtok #ideas #theorist #part1 #mathmatics
3.1M viewsJan 30, 2023
TikTokwired
3:35
Emily Riehl speaks on how everyone can learn probability with Fat Chance
12.1K viewsFeb 4, 2019
YouTubeCambridge University Press
1:05:01
Emily Riehl - 测试人工数学智能
Apr 16, 2025
bilibili筑桥者Hagi
32:33
Contractibility as uniqueness - Emily Riehl
3.3K viewsDec 8, 2020
YouTubeFields Institute
58:42
Emily Riehl - 在Rzk证明助手中形式化无穷范畴论
623 viewsAug 4, 2024
bilibili筑桥者Hagi
Emily Riehl：高阶范畴论、同伦论与数学中的人工智能
5 views2 months ago
bilibili
1:07:51
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (4)
109 views9 months ago
YouTubeINI Seminar Room 1
1:28:08
Emily Riehl | Feb 16, 2021 | Elements of ∞-Category Theory
8.2K viewsFeb 17, 2021
YouTubeMathematical Picture Language
See more
Static thumbnail place holder