Mathematician Emily Riehl is working to unify higher category theory using category theory itself. https://www.quantamagazine.org/emily-riehl-conducts-the-mathematical-orchestra-from-the-middle-20200902/ | Quanta Magazine
3:59
Mathematician Emily Riehl is working to unify higher category theory using category theory itself. https://www.quantamagazine.org/emily-riehl-conducts-the-mathematical-orchestra-from-the-middle-20200902/ | Quanta Magazine
7.1K viewsSep 9, 2020
FacebookQuanta Magazine
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
56:34
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
44.9K viewsDec 16, 2020
YouTubeJohns Hopkins University
ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)
1:06:57
ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)
15.3K viewsJul 6, 2020
YouTubeApplied Category Theory
Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1
1:33:59
Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1
5K viewsMar 15, 2022
YouTubeCentre International de Rencontres Mathématiq…
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
49:45
Math Talk! Dr. Emily Riehl, to infinity categories and beyond.
15.5K viewsFeb 9, 2023
YouTubeK-Theory
Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant
58:42
Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant
1.4K viewsMay 31, 2024
YouTubeHausdorff Center for Mathematics
Prof. Emily Riehl | Formalizing invisible mathematics: case studies from higher category theory
1:09:21
Prof. Emily Riehl | Formalizing invisible mathematics: case studies from higher category theory
2.5K views9 months ago
YouTubeINI Seminar Room 1
1:02:06
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (2)
84 views4 months ago
YouTubeINI Seminar Room 1
1:28:08
Emily Riehl | Feb 16, 2021 | Elements of ∞-Category Theory
8K viewsFeb 17, 2021
YouTubeMathematical Picture Language
1:53:51
∞-category theory for undergraduates
1.1K viewsMay 9, 2020
bilibiliLamGalois
4:32:54
Infinity category theory from scratch - Emily Riehls
1.9K viewsAug 25, 2019
bilibililocal_ring
1:05:55
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (3)
91 views4 months ago
YouTubeINI Seminar Room 1
1:07:51
HHHW01 | Dr. Emily Riehl | The model-independent theory of (∞,1)-categories (4)
43 views4 months ago
YouTubeINI Seminar Room 1
2:43:41
Emily Riehl Makes Infinity Categories Elementary
55.3K viewsMar 28, 2025
YouTubeCurt Jaimungal
Conducting the Mathematical Orchestra From the Middle
Sep 2, 2020
quantamagazine.org
The mathematic mind of Emily Riehl
Dec 13, 2021
jhu.edu
45:28
Lambda World 2019 - A categorical view of computational effects - Emily Riehl
28.7K viewsNov 4, 2019
YouTubeLambda World
24:54
Lean Together 2025: Emily Riehl, The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory
648 viewsJan 14, 2025
YouTubeleanprover community
0:19
Exploring Riehl's Excellent Insights on Category Theory
3.5K viewsOct 16, 2022
TikTokmathandcobb
51:50
Emily Riehl: Synthetic perspectives on the Yoneda lemma
1K views6 months ago
YouTubeCentre International de Rencontres Mathématiq…
1:11:05
Could ∞-category theory be taught to undergraduates or to a computer?, Emily Riehl | LMS
405 views4 months ago
YouTubeLondon Mathematical Society
1:16:51
Mindscape 146 | Emily Riehl on Topology, Categories, and the Future of Mathematics
27.4K viewsMay 10, 2021
YouTubeSean Carroll
1:30
Congratulations are in order! Hopkins mathematician Emily Riehl received the President's Frontier Award today, a $250,000 award that will support her continuing research. | Johns Hopkins University
9.1K viewsJan 16, 2020
FacebookJohns Hopkins University
2:43:41
【访谈】Emily Riehl 让无穷范畴变初等
3.8K viewsApr 3, 2025
bilibili筑桥者Hagi
50:44
Emily Riehl - The formal theory of ∞-categories - CaCS2021
424 viewsJun 24, 2021
YouTubeCategories and Companions Symposium - 2021
1:40:10
Riehl, Bradley, Cheng, Dancstep, and Lugg: "Category theory outreach panel"
6.4K viewsMar 16, 2023
YouTubeTopos Institute
43:12
爱米丽·瑞尔阐述数学的未来 | 数学有限公司 | 双语
116 views2 months ago
bilibiliTOP高效学习法
0:06
I suck at math #math #relatable #relatablecontent #viral #goviral
1.5K views3 months ago
TikTokemilyhandel
1:39:36
Category Theory For Beginners: Representable Functors
3.4K viewsJan 9, 2023
YouTubeRichard Southwell
0:10
The Joy of Engineering: Math, STEM, and Carnival Fun! 😅
764.8K viewsApr 4, 2024
TikTokemily.k7
See more