Emily Riehl
Johns Hopkins University
H-index: 24
North America-United States
Top articles of Emily Riehl
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Will machines change mathematics? | Bulletin (New Series) of the American Mathematical Society | Maia Fraser Andrew Granville Michael H Harris Colin McLarty Emily Riehl | 2024/4/1 |
On the∞ ∞‐topos semantics of homotopy type theory | Bulletin of the London Mathematical Society | Emily Riehl | 2024/2 |
Formalizing the∞-Categorical Yoneda Lemma | Nikolai Kudasov Emily Riehl Jonathan Weinberger | 2024/1/9 | |
Johnstone-Gleason covers for partially ordered sets | Expositions in Theory and Applications of Categories | Emily Riehl | 2023/1/6 |
Pushouts of Dwyer maps are (∞, 1)-categorical | Algebraic & Geometric Topology | Philip Hackney Viktoriya Ozornova Emily Riehl Martina Rovelli | 2023 |
Homotopy types are homotopy types | Emily Riehl | 2023 | |
Could∞-category theory be taught to undergraduates | Notices of the AMS (May 2023). h ps://www. ams. org/journals/notices/202305/noti2692/noti2692. html | Emily Riehl | 2023 |
An (∞, 2)-categorical pasting theorem | Transactions of the American Mathematical Society | Philip Hackney Viktoriya Ozornova Emily Riehl Martina Rovelli | 2023 |
Formalizing the -categorical Yoneda lemma | arXiv preprint arXiv:2309.08340 | Nikolai Kudasov Emily Riehl Jonathan Weinberger | 2023/9/15 |
On -Cosmoi of Bicategories | La Matematica | Emily Riehl Mira Wattal | 2022/12 |
A 2-categorical proof of Frobenius for fibrations defined from a generic point | arXiv preprint arXiv:2210.00078 | Sina Hazratpour Emily Riehl | 2022/9/30 |
Pushouts of Dwyer maps are -categorical | arXiv preprint arXiv:2205.02353 | Philip Hackney Viktoriya Ozornova Emily Riehl Martina Rovelli | 2022/5/4 |
Elements of?-Category Theory | Emily Riehl Dominic Verity | 2022/2/10 | |
A Conversation on Professional Norms in Mathematics | Pamela E Harris Michael A Hill Dagan Karp Emily Riehl Mathilde Gerbelli-Gauthier | 2021/10/19 | |
Cartesian exponentiation and monadicity | arXiv preprint arXiv:2101.09853 | Emily Riehl Dominic Verity | 2021/1/25 |
Categorical notions of fibration | Expositiones Mathematicae | Fosco Loregian Emily Riehl | 2020/12/1 |
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves | Applied Categorical Structures | Emily Riehl Dominic Verity | 2020/8 |
Lifting accessible model structures | Journal of Topology | Richard Garner Magdalena Kędziorek Emily Riehl | 2020/3 |