Edit Profile (opens in new tab) Riehl, Emily Co-Author Distance Author ID: riehl.emily Published as: Riehl, Emily Homepage: http://www.math.jhu.edu/~eriehl/ External Links: MGP · ORCID · Wikidata · Twitter · GND · IdRef · theses.fr Documents Indexed: 45 Publications since 2003, including 4 Books and 5 Additional arXiv Preprints 2 Contributions as Editor · 1 Further Contribution Reviewing Activity: 5 Reviews Biographic References: 1 Publication Co-Authors: 42 Co-Authors with 36 Joint Publications 728 Co-Co-Authors all top 5 Co-Authors 12 single-authored 12 Verity, Dominic 3 Kȩdziorek, Magdalena 2 Barthel, Tobias 2 Garner, Richard 2 Hackney, Philip 2 Hess, Kathryn P. 2 Ozornova, Viktoriya 2 Rovelli, Martina 2 Shipley, Brooke E. 2 Shulman, Michael A. 1 Aczel, Peter 1 Ahrens, Benedikt 1 Altenkirch, Thorsten 1 Angiuli, Carlo 1 Avigad, Jeremy 1 Awodey, Steve 1 Barras, Bruno 1 Bauer, Andrej 1 Bauer, Kristine 1 Bayeh, Marzieh 1 Bertot, Yves 1 Bezem, Marc 1 Blumberg, Andrew J. 1 Bohmann, Anna Marie 1 Bordg, Anthony 1 Brunerie, Guillaume 1 Cheng, Eugenia 1 Ching, Michael 1 Cohen, Cyril 1 Constable, Robert Lee 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 D’Angelo, John P. 1 Dybjer, Peter 1 Evans, E. Graham jun. 1 Finster, Eric 1 Gambino, Nicola 1 Gerbelli-Gauthier, Mathilde 1 Gonthier, Georges 1 Grayson, Daniel Richard 1 Gross, Benedict Hyman 1 Gurski, Nick 1 Hales, Thomas Callister 1 Harper, Robert 1 Harris, Joseph Daniel 1 Harris, Pamela E. 1 Hazratpour, Sina 1 Herbelin, Hugo 1 Hill, Michael A. 1 Hofmann, Martin 1 Hofstra, Pieter J. W. 1 Hötzel Escardó, Martín 1 Hou (Favonia), Kuen-Bang 1 Johnson, Brenda Lynn 1 Joyal, André 1 Kapulkin, Krzysztof 1 Karp, Dagan 1 Karpova, Varvara 1 Kennett, Carolyn 1 Kitchloo, Nitya 1 Kock, Joachim 1 Kos, Šimon 1 Kraus, Nicolai 1 Kudasov, Nikolai 1 Li, Nuo 1 Licata, Dan 1 Loregiàn, Fosco 1 Lumsdaine, Peter LeFanu 1 Luo, Zhaohui 1 Mahboubi, Assia 1 Martin-Löf, Per 1 May, Jon Peter 1 Melikhov, Sergey Aleksandrovich 1 Merling, Mona 1 Morava, Jack Johnson 1 Nahas, Michael 1 Osborne, Christina 1 Palmgren, Erik 1 Pelayo, Alvaro 1 Polonsky, Andrew 1 Rijke, Egbert 1 Roy, Michael 1 Scott, Dana Stewart 1 Scott, Philip J. 1 Sojakova, Kristina 1 Solov’ëv, Sergeĭ Vladimirovich 1 Sozeau, Matthieu 1 Spitters, Bas 1 Tebbe, Amelia 1 1 Van den Berg, Benno 1 Voevodskiĭ, Vladimir Aleksandrovich 1 Warren, Michael Alton 1 Wattal, Mira 1 Wilson, W. Stephen 1 Zaks, Michael 1 Zeilberger, Noam all top 5 Serials 4 Journal of Pure and Applied Algebra 3 Algebraic & Geometric Topology 3 Higher Structures 2 Advances in Mathematics 2 Notices of the American Mathematical Society 2 The New York Journal of Mathematics 2 Theory and Applications of Categories 2 Homology, Homotopy and Applications 2 Journal of Topology 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Bulletin of the London Mathematical Society 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 The Journal of Geometric Analysis 1 Expositiones Mathematicae 1 Applied Categorical Structures 1 Cambridge Studies in Advanced Mathematics 1 Contemporary Mathematics 1 New Mathematical Monographs 1 Journal of \(K\)-Theory 1 La Matematica all top 5 Fields 41 Category theory; homological algebra (18-XX) 32 Algebraic topology (55-XX) 4 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 2 Algebraic geometry (14-XX) 2 Mathematics education (97-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 37 Publications have been cited 551 times in 383 Documents Cited by ▼ Year ▼ Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 160 2013 Categorical homotopy theory. Zbl 1317.18001 Riehl, Emily 110 2014 Category theory in context. Zbl 1348.18001 Riehl, Emily 49 2016 Elements of \(\infty\)-category theory. Zbl 1492.18001 Riehl, Emily; Verity, Dominic 40 2022 Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020 Riehl, Emily; Verity, Dominic 30 2016 A necessary and sufficient condition for induced model structures. Zbl 1381.55010 Hess, Kathryn; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke 26 2017 The theory and practice of Reedy categories. Zbl 1302.55014 Riehl, Emily; Verity, Dominic 25 2014 The 2-category theory of quasi-categories. Zbl 1319.18005 Riehl, Emily; Verity, Dominic 22 2015 Algebraic model structures. Zbl 1222.55016 Riehl, Emily 20 2011 Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007 Riehl, Emily; Verity, Dominic 20 2017 Six model structures for DG-modules over DGAs: model category theory in homological action. Zbl 1342.16006 Barthel, Tobias; May, J. P.; Riehl, Emily 20 2014 A sharp bound for the degree of proper monomial mappings between balls. Zbl 1052.26016 D’Angelo, John P.; Kos, Šimon; Riehl, Emily 18 2003 A type theory for synthetic \(\infty\)-categories. Zbl 1437.18016 Riehl, Emily; Shulman, Michael 18 2017 Lifting accessible model structures. Zbl 1442.18011 Garner, Richard; Kędziorek, Magdalena; Riehl, Emily 15 2020 On the construction of functorial factorizations for model categories. Zbl 1268.18001 Barthel, Tobias; Riehl, Emily 14 2013 Cyclic multicategories, multivariable adjunctions and mates. Zbl 1326.18005 Cheng, Eugenia; Gurski, Nick; Riehl, Emily 12 2014 Left-induced model structures and diagram categories. Zbl 1346.18023 Bayeh, Marzieh; Hess, Kathryn; Karpova, Varvara; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke 12 2015 Coalgebraic models for combinatorial model categories. Zbl 1311.18006 Ching, Michael; Riehl, Emily 12 2014 Complicial sets, an overture. Zbl 1409.18018 Riehl, Emily 11 2018 Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020 Riehl, Emily; Verity, Dominic 9 2017 Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006 Riehl, Emily; Verity, Dominic 9 2015 Categorical notions of fibration. Zbl 1464.18010 Loregian, Fosco; Riehl, Emily 9 2020 Homotopical resolutions associated to deformable adjunctions. Zbl 1317.55009 Blumberg, Andrew J.; Riehl, Emily 7 2014 Directional derivatives and higher order chain rules for abelian functor calculus. Zbl 1435.18005 Bauer, Kristine; Johnson, Brenda; Osborne, Christina; Riehl, Emily; Tebbe, Amelia 6 2018 Monoidal algebraic model structures. Zbl 1275.55014 Riehl, Emily 6 2013 The comprehension construction. Zbl 1409.18021 Riehl, Emily; Verity, Dominic 6 2018 A comparison of norm maps. Zbl 1318.55013 Bohmann, Anna Marie; Riehl, Emily 5 2014 On the structure of simplicial categories associated to quasi-categories. Zbl 1232.18014 Riehl, Emily 4 2011 Levels in the toposes of simplicial sets and cubical sets. Zbl 1229.55016 Kennett, Carolyn; Riehl, Emily; Roy, Michael; Zaks, Michael 3 2011 On the intersections of polynomials and the Cayley-Bacharach theorem. Zbl 1032.13011 Riehl, Emily; Evans, E. Graham jun. 3 2003 Infinity category theory from scratch. Zbl 1451.18042 Riehl, Emily; Verity, Dominic 3 2020 Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003 Riehl, Emily; Verity, Dominic 2 2020 Fat chance. Probability from 0 to 1. Zbl 1423.00005 Gross, Benedict; Harris, Joe; Riehl, Emily 1 2019 Could \( \infty \)-category theory be taught to undergraduates? Zbl 1528.18023 Riehl, Emily 1 2023 On the construction of limits and colimits in \(\infty\)-categories. Zbl 1451.18043 Riehl, Emily; Verity, Dominic 1 2020 Homotopical categories: from model categories to \((\infty,1)\)-categories. Zbl 1499.18043 Riehl, Emily 1 2022 An \((\infty ,2)\)-categorical pasting theorem. Zbl 1505.18031 Hackney, Philip; Ozornova, Viktoriya; Riehl, Emily; Rovelli, Martina 1 2023 Could \( \infty \)-category theory be taught to undergraduates? Zbl 1528.18023 Riehl, Emily 1 2023 An \((\infty ,2)\)-categorical pasting theorem. Zbl 1505.18031 Hackney, Philip; Ozornova, Viktoriya; Riehl, Emily; Rovelli, Martina 1 2023 Elements of \(\infty\)-category theory. Zbl 1492.18001 Riehl, Emily; Verity, Dominic 40 2022 Homotopical categories: from model categories to \((\infty,1)\)-categories. Zbl 1499.18043 Riehl, Emily 1 2022 Lifting accessible model structures. Zbl 1442.18011 Garner, Richard; Kędziorek, Magdalena; Riehl, Emily 15 2020 Categorical notions of fibration. Zbl 1464.18010 Loregian, Fosco; Riehl, Emily 9 2020 Infinity category theory from scratch. Zbl 1451.18042 Riehl, Emily; Verity, Dominic 3 2020 Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003 Riehl, Emily; Verity, Dominic 2 2020 On the construction of limits and colimits in \(\infty\)-categories. Zbl 1451.18043 Riehl, Emily; Verity, Dominic 1 2020 Fat chance. Probability from 0 to 1. Zbl 1423.00005 Gross, Benedict; Harris, Joe; Riehl, Emily 1 2019 Complicial sets, an overture. Zbl 1409.18018 Riehl, Emily 11 2018 Directional derivatives and higher order chain rules for abelian functor calculus. Zbl 1435.18005 Bauer, Kristine; Johnson, Brenda; Osborne, Christina; Riehl, Emily; Tebbe, Amelia 6 2018 The comprehension construction. Zbl 1409.18021 Riehl, Emily; Verity, Dominic 6 2018 A necessary and sufficient condition for induced model structures. Zbl 1381.55010 Hess, Kathryn; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke 26 2017 Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007 Riehl, Emily; Verity, Dominic 20 2017 A type theory for synthetic \(\infty\)-categories. Zbl 1437.18016 Riehl, Emily; Shulman, Michael 18 2017 Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020 Riehl, Emily; Verity, Dominic 9 2017 Category theory in context. Zbl 1348.18001 Riehl, Emily 49 2016 Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020 Riehl, Emily; Verity, Dominic 30 2016 The 2-category theory of quasi-categories. Zbl 1319.18005 Riehl, Emily; Verity, Dominic 22 2015 Left-induced model structures and diagram categories. Zbl 1346.18023 Bayeh, Marzieh; Hess, Kathryn; Karpova, Varvara; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke 12 2015 Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006 Riehl, Emily; Verity, Dominic 9 2015 Categorical homotopy theory. Zbl 1317.18001 Riehl, Emily 110 2014 The theory and practice of Reedy categories. Zbl 1302.55014 Riehl, Emily; Verity, Dominic 25 2014 Six model structures for DG-modules over DGAs: model category theory in homological action. Zbl 1342.16006 Barthel, Tobias; May, J. P.; Riehl, Emily 20 2014 Cyclic multicategories, multivariable adjunctions and mates. Zbl 1326.18005 Cheng, Eugenia; Gurski, Nick; Riehl, Emily 12 2014 Coalgebraic models for combinatorial model categories. Zbl 1311.18006 Ching, Michael; Riehl, Emily 12 2014 Homotopical resolutions associated to deformable adjunctions. Zbl 1317.55009 Blumberg, Andrew J.; Riehl, Emily 7 2014 A comparison of norm maps. Zbl 1318.55013 Bohmann, Anna Marie; Riehl, Emily 5 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program 160 2013 On the construction of functorial factorizations for model categories. Zbl 1268.18001 Barthel, Tobias; Riehl, Emily 14 2013 Monoidal algebraic model structures. Zbl 1275.55014 Riehl, Emily 6 2013 Algebraic model structures. Zbl 1222.55016 Riehl, Emily 20 2011 On the structure of simplicial categories associated to quasi-categories. Zbl 1232.18014 Riehl, Emily 4 2011 Levels in the toposes of simplicial sets and cubical sets. Zbl 1229.55016 Kennett, Carolyn; Riehl, Emily; Roy, Michael; Zaks, Michael 3 2011 A sharp bound for the degree of proper monomial mappings between balls. Zbl 1052.26016 D’Angelo, John P.; Kos, Šimon; Riehl, Emily 18 2003 On the intersections of polynomials and the Cayley-Bacharach theorem. Zbl 1032.13011 Riehl, Emily; Evans, E. Graham jun. 3 2003 all cited Publications top 5 cited Publications all top 5 Cited by 450 Authors 16 Riehl, Emily 15 Rovelli, Martina 12 Ozornova, Viktoriya 10 Hackney, Philip 9 Bourke, John 7 Haugseng, Rune 7 Shulman, Michael A. 7 Verity, Dominic 6 D’Angelo, John P. 6 Hess, Kathryn P. 6 Schenkel, Alexander 6 Schweigert, Christoph 6 Woike, Lukas 5 Benini, Marco 5 Bunk, Severin 5 Garner, Richard 5 Gaucher, Philippe 5 Lebl, Jiří 5 Nuiten, Joost Jakob 5 Rasekh, Nima 5 Rivera, Manuel 5 Yau, Donald Y. 4 Beardsley, Jonathan 4 Bergner, Julie 4 Blumberg, Andrew J. 4 Bonventre, Peter 4 Campbell, Alexander Peter 4 Drummond-Cole, Gabriel C. 4 Fuchs, Jürgen 4 Grundmeier, Dusty E. 4 Kapulkin, Krzysztof 4 Mathew, Akhil 4 Pereira, Luís Alexandre 4 Robertson, Marcy 4 Rosický, Jiří 4 Sattler, Christian 4 Williamson, Jordan 4 Zeinalian, Mahmoud 3 Brooks, Jennifer 3 Cruttwell, Geoffrey S. H. 3 Gambino, Nicola 3 Henry, Simon 3 Knudsen, Ben 3 Lack, Stephen 3 Livernet, Muriel 3 Lucyshyn-Wright, Rory B. B. 3 Merling, Mona 3 Müller, Lukas 3 Naisse, Grégoire 3 Osorno, Angélica Maria 3 Pacaud Lemay, Jean-Simon 3 Péroux, Maximilien 3 Rahn, Moritz 3 Scheimbauer, Claudia I. 3 Schreiber, Urs 3 Shipley, Brooke E. 3 Szumiło, Karol 3 Vaz, Pedro 3 Wong, Liang Ze 2 Anel, Mathieu 2 Angiuli, Carlo 2 Arone, Gregory Z. 2 Balachandran, Niranjan 2 Balchin, Scott 2 Barthel, Tobias 2 Batanin, Michael A. 2 Biedermann, Georg 2 Booth, Matthew 2 Botnan, Magnus Bakke 2 Braunack-Mayer, Vincent 2 Bruinsma, Simen 2 Bubenik, Peter 2 Buchholtz, Ulrik 2 Chih, Tien 2 Ching, Michael 2 Cirici, Joana 2 Cockett, J. Robin B. 2 Coquand, Thierry 2 Curien, Pierre-Louis 2 Curry, Justin Michael 2 Egas Santander, Daniela 2 Elmanto, Elden 2 Erdal, Mehmet Akif 2 Fairbanks, James P. 2 Finster, Eric 2 Fresse, Benoit 2 Fritz, Tobias 2 Gagna, Andrea 2 Gerhardt, Teena 2 Gratzer, Daniel 2 Harpaz, Yonatan 2 Harper, John E. 2 Harper, Robert 2 Hebestreit, Fabian 2 Heuts, Gijs 2 Hill, Michael A. 2 Ji, Shanyu 2 Johnson, Brenda Lynn 2 Joyal, André 2 Kȩdziorek, Magdalena ...and 350 more Authors all top 5 Cited in 96 Serials 36 Advances in Mathematics 33 Journal of Pure and Applied Algebra 31 Algebraic & Geometric Topology 30 Theory and Applications of Categories 24 Applied Categorical Structures 14 Journal of Homotopy and Related Structures 10 Proceedings of the American Mathematical Society 10 Higher Structures 9 MSCS. Mathematical Structures in Computer Science 8 Mathematische Zeitschrift 7 Communications in Mathematical Physics 7 Logical Methods in Computer Science 6 Transactions of the American Mathematical Society 6 Topology and its Applications 5 Journal of the London Mathematical Society. Second Series 5 Documenta Mathematica 5 Forum of Mathematics, Sigma 4 Bulletin of the London Mathematical Society 4 The Journal of Geometric Analysis 4 Geometry & Topology 3 Compositio Mathematica 3 Annals of Mathematics. Second Series 3 Journal of Applied and Computational Topology 3 Tunisian Journal of Mathematics 3 La Matematica 2 American Mathematical Monthly 2 Journal of Mathematical Analysis and Applications 2 Reviews in Mathematical Physics 2 Fundamenta Mathematicae 2 Journal of Algebra 2 The Journal of Symbolic Logic 2 Mathematische Annalen 2 Michigan Mathematical Journal 2 Quaestiones Mathematicae 2 Rendiconti di Matematica e delle sue Applicazioni. Serie VII 2 Extracta Mathematicae 2 International Journal of Mathematics 2 Expositiones Mathematicae 2 The New York Journal of Mathematics 2 Selecta Mathematica. New Series 2 Journal of the Institute of Mathematics of Jussieu 2 Journal of Topology 2 Journal of \(K\)-Theory 2 Journal of Logical and Algebraic Methods in Programming 2 Annals of \(K\)-Theory 2 Categories and General Algebraic Structures with Applications 2 SIAM Journal on Applied Algebra and Geometry 1 Discrete Applied Mathematics 1 Discrete Mathematics 1 Israel Journal of Mathematics 1 Letters in Mathematical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Fortschritte der Physik 1 Algebra Universalis 1 Collectanea Mathematica 1 Commentationes Mathematicae Universitatis Carolinae 1 Fuzzy Sets and Systems 1 Glasgow Mathematical Journal 1 Illinois Journal of Mathematics 1 Inventiones Mathematicae 1 Journal of Combinatorial Theory. Series A 1 Journal für die Reine und Angewandte Mathematik 1 Kodai Mathematical Journal 1 Mathematica Scandinavica 1 Mathematica Slovaca 1 Notre Dame Journal of Formal Logic 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Proceedings of the London Mathematical Society. Third Series 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Order 1 Revista Matemática Iberoamericana 1 Journal of Automated Reasoning 1 Linear Algebra and its Applications 1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 1 Journal of Algebraic Combinatorics 1 Journal of Functional Programming 1 Boletín de la Sociedad Matemática Mexicana. Third Series 1 Algebras and Representation Theory 1 Acta Mathematica Sinica. English Series 1 Annales Henri Poincaré 1 Foundations of Computational Mathematics 1 Journal of Algebra and its Applications 1 Mediterranean Journal of Mathematics 1 Acta Numerica 1 Oberwolfach Reports 1 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 1 Journal of Mathematics and Music 1 Complex Analysis and Operator Theory 1 Quantum Topology 1 Axioms 1 Complex Analysis and its Synergies 1 Research in the Mathematical Sciences 1 Complex Manifolds 1 Mathematics in Engineering 1 Graduate Journal of Mathematics all top 5 Cited in 40 Fields 245 Category theory; homological algebra (18-XX) 198 Algebraic topology (55-XX) 39 Associative rings and algebras (16-XX) 35 Mathematical logic and foundations (03-XX) 28 Computer science (68-XX) 27 Algebraic geometry (14-XX) 27 Manifolds and cell complexes (57-XX) 24 \(K\)-theory (19-XX) 20 Several complex variables and analytic spaces (32-XX) 18 Quantum theory (81-XX) 17 Commutative algebra (13-XX) 13 Combinatorics (05-XX) 10 Group theory and generalizations (20-XX) 8 Differential geometry (53-XX) 7 Nonassociative rings and algebras (17-XX) 7 Global analysis, analysis on manifolds (58-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 5 Partial differential equations (35-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 General and overarching topics; collections (00-XX) 4 Number theory (11-XX) 4 Topological groups, Lie groups (22-XX) 4 Functional analysis (46-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Geometry (51-XX) 3 Mechanics of particles and systems (70-XX) 3 Operations research, mathematical programming (90-XX) 2 General topology (54-XX) 2 Numerical analysis (65-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Approximations and expansions (41-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.