Edit Profile (opens in new tab) Riehl, Emily Compute Distance To: Compute Author ID: riehl.emily Published as: Riehl, Emily Homepage: http://www.math.jhu.edu/~eriehl/ External Links: MGP · Wikidata · GND · IdRef · theses.fr Documents Indexed: 35 Publications since 2003, including 4 Books 1 Contribution as Editor · 1 Further Contribution Reviewing Activity: 5 Reviews Biographic References: 1 Publication Co-Authors: 32 Co-Authors with 29 Joint Publications 366 Co-Co-Authors all top 5 Co-Authors 8 single-authored 11 Verity, Dominic 3 Kȩdziorek, Magdalena 2 Barthel, Tobias 2 Garner, Richard 2 Hess, Kathryn P. 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 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 Herbelin, Hugo 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, Chris 1 Karpova, Varvara 1 Kennett, Carolyn 1 Kitchloo, Nitya 1 Kock, Joachim 1 Kos, Šimon 1 Kraus, Nicolai 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 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 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 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 Proceedings of the American Mathematical Society 1 Topology and its Applications 1 The Journal of Geometric Analysis 1 Expositiones Mathematicae 1 Notices of the American Mathematical Society 1 Applied Categorical Structures 1 Cambridge Studies in Advanced Mathematics 1 Contemporary Mathematics 1 New Mathematical Monographs 1 Journal of \(K\)-Theory all top 5 Fields 32 Category theory; homological algebra (18-XX) 26 Algebraic topology (55-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Mathematical logic and foundations (03-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 32 Publications have been cited 403 times in 233 Documents Cited by ▼ Year ▼ Categorical homotopy theory. Zbl 1317.18001Riehl, Emily 67 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 63 2013 Category theory in context. Zbl 1348.18001Riehl, Emily 24 2016 Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020Riehl, Emily; Verity, Dominic 23 2016 A sharp bound for the degree of proper monomial mappings between balls. Zbl 1052.26016D’Angelo, John P.; Kos, Šimon; Riehl, Emily 17 2003 The theory and practice of Reedy categories. Zbl 1302.55014Riehl, Emily; Verity, Dominic 17 2014 Six model structures for DG-modules over DGAs: model category theory in homological action. Zbl 1342.16006Barthel, Tobias; May, J. P.; Riehl, Emily 16 2014 Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007Riehl, Emily; Verity, Dominic 16 2017 The 2-category theory of quasi-categories. Zbl 1319.18005Riehl, Emily; Verity, Dominic 16 2015 Algebraic model structures. Zbl 1222.55016Riehl, Emily 16 2011 A necessary and sufficient condition for induced model structures. Zbl 1381.55010Hess, Kathryn; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke 15 2017 Cyclic multicategories, multivariable adjunctions and mates. Zbl 1326.18005Cheng, Eugenia; Gurski, Nick; Riehl, Emily 11 2014 Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020Riehl, Emily; Verity, Dominic 9 2017 Left-induced model structures and diagram categories. Zbl 1346.18023Bayeh, Marzieh; Hess, Kathryn; Karpova, Varvara; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke 9 2015 Coalgebraic models for combinatorial model categories. Zbl 1311.18006Ching, Michael; Riehl, Emily 8 2014 Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006Riehl, Emily; Verity, Dominic 8 2015 On the construction of functorial factorizations for model categories. Zbl 1268.18001Barthel, Tobias; Riehl, Emily 8 2013 A type theory for synthetic \(\infty\)-categories. Zbl 1437.18016Riehl, Emily; Shulman, Michael 8 2017 Elements of \(\infty\)-category theory. Zbl 07401241Riehl, Emily; Verity, Dominic 6 2022 Directional derivatives and higher order chain rules for abelian functor calculus. Zbl 1435.18005Bauer, Kristine; Johnson, Brenda; Osborne, Christina; Riehl, Emily; Tebbe, Amelia 6 2018 Monoidal algebraic model structures. Zbl 1275.55014Riehl, Emily 6 2013 Homotopical resolutions associated to deformable adjunctions. Zbl 1317.55009Blumberg, Andrew J.; Riehl, Emily 6 2014 Lifting accessible model structures. Zbl 1442.18011Garner, Richard; Kędziorek, Magdalena; Riehl, Emily 6 2020 On the structure of simplicial categories associated to quasi-categories. Zbl 1232.18014Riehl, Emily 4 2011 The comprehension construction. Zbl 1409.18021Riehl, Emily; Verity, Dominic 4 2018 A comparison of norm maps. Zbl 1318.55013Bohmann, Anna Marie; Riehl, Emily 3 2014 On the intersections of polynomials and the Cayley-Bacharach theorem. Zbl 1032.13011Riehl, Emily; Evans, E. Graham jun. 3 2003 Levels in the toposes of simplicial sets and cubical sets. Zbl 1229.55016Kennett, Carolyn; Riehl, Emily; Roy, Michael; Zaks, Michael 2 2011 Complicial sets, an overture. Zbl 1409.18018Riehl, Emily 2 2018 Categorical notions of fibration. Zbl 1464.18010Loregian, Fosco; Riehl, Emily 2 2020 Infinity category theory from scratch. Zbl 1451.18042Riehl, Emily; Verity, Dominic 1 2020 Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003Riehl, Emily; Verity, Dominic 1 2020 Elements of \(\infty\)-category theory. Zbl 07401241Riehl, Emily; Verity, Dominic 6 2022 Lifting accessible model structures. Zbl 1442.18011Garner, Richard; Kędziorek, Magdalena; Riehl, Emily 6 2020 Categorical notions of fibration. Zbl 1464.18010Loregian, Fosco; Riehl, Emily 2 2020 Infinity category theory from scratch. Zbl 1451.18042Riehl, Emily; Verity, Dominic 1 2020 Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003Riehl, Emily; Verity, Dominic 1 2020 Directional derivatives and higher order chain rules for abelian functor calculus. Zbl 1435.18005Bauer, Kristine; Johnson, Brenda; Osborne, Christina; Riehl, Emily; Tebbe, Amelia 6 2018 The comprehension construction. Zbl 1409.18021Riehl, Emily; Verity, Dominic 4 2018 Complicial sets, an overture. Zbl 1409.18018Riehl, Emily 2 2018 Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007Riehl, Emily; Verity, Dominic 16 2017 A necessary and sufficient condition for induced model structures. Zbl 1381.55010Hess, Kathryn; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke 15 2017 Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020Riehl, Emily; Verity, Dominic 9 2017 A type theory for synthetic \(\infty\)-categories. Zbl 1437.18016Riehl, Emily; Shulman, Michael 8 2017 Category theory in context. Zbl 1348.18001Riehl, Emily 24 2016 Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020Riehl, Emily; Verity, Dominic 23 2016 The 2-category theory of quasi-categories. Zbl 1319.18005Riehl, Emily; Verity, Dominic 16 2015 Left-induced model structures and diagram categories. Zbl 1346.18023Bayeh, Marzieh; Hess, Kathryn; Karpova, Varvara; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke 9 2015 Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006Riehl, Emily; Verity, Dominic 8 2015 Categorical homotopy theory. Zbl 1317.18001Riehl, Emily 67 2014 The theory and practice of Reedy categories. Zbl 1302.55014Riehl, Emily; Verity, Dominic 17 2014 Six model structures for DG-modules over DGAs: model category theory in homological action. Zbl 1342.16006Barthel, Tobias; May, J. P.; Riehl, Emily 16 2014 Cyclic multicategories, multivariable adjunctions and mates. Zbl 1326.18005Cheng, Eugenia; Gurski, Nick; Riehl, Emily 11 2014 Coalgebraic models for combinatorial model categories. Zbl 1311.18006Ching, Michael; Riehl, Emily 8 2014 Homotopical resolutions associated to deformable adjunctions. Zbl 1317.55009Blumberg, Andrew J.; Riehl, Emily 6 2014 A comparison of norm maps. Zbl 1318.55013Bohmann, Anna Marie; Riehl, Emily 3 2014 Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002The Univalent Foundations Program 63 2013 On the construction of functorial factorizations for model categories. Zbl 1268.18001Barthel, Tobias; Riehl, Emily 8 2013 Monoidal algebraic model structures. Zbl 1275.55014Riehl, Emily 6 2013 Algebraic model structures. Zbl 1222.55016Riehl, Emily 16 2011 On the structure of simplicial categories associated to quasi-categories. Zbl 1232.18014Riehl, Emily 4 2011 Levels in the toposes of simplicial sets and cubical sets. Zbl 1229.55016Kennett, Carolyn; Riehl, Emily; Roy, Michael; Zaks, Michael 2 2011 A sharp bound for the degree of proper monomial mappings between balls. Zbl 1052.26016D’Angelo, John P.; Kos, Šimon; Riehl, Emily 17 2003 On the intersections of polynomials and the Cayley-Bacharach theorem. Zbl 1032.13011Riehl, Emily; Evans, E. Graham jun. 3 2003 all cited Publications top 5 cited Publications all top 5 Cited by 302 Authors 12 Riehl, Emily 6 Bourke, John 6 D’Angelo, John P. 6 Hess, Kathryn P. 6 Shulman, Michael A. 5 Garner, Richard 5 Hackney, Philip 5 Lebl, Jiří 5 Rovelli, Martina 5 Schenkel, Alexander 5 Verity, Dominic 5 Yau, Donald Y. 4 Benini, Marco 4 Campbell, Alexander Peter 4 Grundmeier, Dusty E. 4 Haugseng, Rune 4 Mathew, Akhil 4 Robertson, Marcy 4 Schweigert, Christoph 3 Beardsley, Jonathan 3 Blumberg, Andrew J. 3 Brooks, Jennifer 3 Drummond-Cole, Gabriel C. 3 Gaucher, Philippe 3 Knudsen, Ben 3 Lucyshyn-Wright, Rory B. B. 3 Naisse, Grégoire 3 Ozornova, Viktoriya 3 Pacaud Lemay, Jean-Simon 3 Rasekh, Nima 3 Sattler, Christian 3 Shipley, Brooke E. 3 Szumiło, Karol 3 Vaz, Pedro 3 Woike, Lukas 3 Wong, Liang Ze 2 Balachandran, Niranjan 2 Barthel, Tobias 2 Booth, Matthew 2 Bruinsma, Simen 2 Bunk, Severin 2 Chih, Tien 2 Ching, Michael 2 Cirici, Joana 2 Cockett, Robin 2 Coquand, Thierry 2 Cruttwell, G. S. H. 2 Curien, Pierre-Louis 2 Egas Santander, Daniela 2 Fuchs, Jürgen 2 Gambino, Nicola 2 Gerhardt, Teena 2 Groth, Moritz 2 Harper, Robert 2 Henry, Simon 2 Herzog, Ivo 2 Heuts, Gijs 2 Hill, Michael A. 2 Ji, Shanyu 2 Johnson, Brenda Lynn 2 Kapulkin, Krzysztof 2 Kȩdziorek, Magdalena 2 Livernet, Muriel 2 Loregiàn, Fosco 2 Mandell, Michael A. 2 Mathew, Rogers 2 Mishra, Tapas Kumar 2 Noel, Justin 2 Nuiten, Joost Jakob 2 Obradović, Jovana 2 Pal, Sudebkumar Prasant 2 Rivera, Manuel 2 Rosický, Jiří 2 Safronov, Pavel 2 Scull, Laura 2 Stelzer, Manfred 2 Stojanoska, Vesna 2 Stonek, Bruno 2 Whitehouse, Sarah 2 Yanovski, Lior 2 Yin, Wanke 2 Zeinalian, Mahmoud 1 Abel, Andreas M. 1 Adams, Henry 1 An, Byung Hee 1 Anand, Dhananjay 1 Anel, Mathieu 1 Angelini-Knoll, Gabriel 1 Angeltveit, Vigleik 1 Angiuli, Carlo 1 Antieau, Benjamin 1 Arone, Gregory Z. 1 Bacard, Hugo V. 1 Bachmann, Tom 1 Balchin, Scott 1 Balzin, Edouard 1 Bandklayder, Lauren 1 Baralić, Đorđe 1 Barr, Michael 1 Bauer, Kristine ...and 202 more Authors all top 5 Cited in 66 Serials 26 Advances in Mathematics 25 Theory and Applications of Categories 21 Journal of Pure and Applied Algebra 17 Applied Categorical Structures 12 Journal of Homotopy and Related Structures 11 Algebraic & Geometric Topology 8 Mathematische Zeitschrift 6 Proceedings of the American Mathematical Society 6 Topology and its Applications 5 Logical Methods in Computer Science 5 Higher Structures 4 Communications in Mathematical Physics 4 MSCS. Mathematical Structures in Computer Science 4 Forum of Mathematics, Sigma 3 Transactions of the American Mathematical Society 3 The Journal of Geometric Analysis 3 Geometry & Topology 3 Annals of Mathematics. Second Series 2 Michigan Mathematical Journal 2 Extracta Mathematicae 2 International Journal of Mathematics 2 The New York Journal of Mathematics 2 Selecta Mathematica. New Series 2 Documenta Mathematica 2 Journal of the Institute of Mathematics of Jussieu 2 Journal of \(K\)-Theory 2 Categories and General Algebraic Structures with Applications 1 American Mathematical Monthly 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 Algebra Universalis 1 Commentationes Mathematicae Universitatis Carolinae 1 Compositio Mathematica 1 Glasgow Mathematical Journal 1 Illinois Journal of Mathematics 1 Inventiones Mathematicae 1 Journal of Algebra 1 Journal of Combinatorial Theory. Series A 1 Journal für die Reine und Angewandte Mathematik 1 Mathematische Annalen 1 Mathematica Scandinavica 1 Notre Dame Journal of Formal Logic 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Annals of Pure and Applied Logic 1 Order 1 Linear Algebra and its Applications 1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 1 Expositiones Mathematicae 1 Journal of Algebraic Combinatorics 1 Journal of Functional Programming 1 Boletín de la Sociedad Matemática Mexicana. Third Series 1 Acta Mathematica Sinica. English Series 1 Annales Henri Poincaré 1 Foundations of Computational Mathematics 1 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 1 Journal of Mathematics and Music 1 Quantum Topology 1 Axioms 1 Complex Analysis and its Synergies 1 Research in the Mathematical Sciences 1 Complex Manifolds 1 Journal of Applied and Computational Topology 1 La Matematica all top 5 Cited in 33 Fields 152 Category theory; homological algebra (18-XX) 125 Algebraic topology (55-XX) 23 Associative rings and algebras (16-XX) 19 Mathematical logic and foundations (03-XX) 18 Algebraic geometry (14-XX) 18 Several complex variables and analytic spaces (32-XX) 16 Manifolds and cell complexes (57-XX) 14 \(K\)-theory (19-XX) 12 Commutative algebra (13-XX) 12 Computer science (68-XX) 11 Combinatorics (05-XX) 11 Quantum theory (81-XX) 10 Group theory and generalizations (20-XX) 5 Nonassociative rings and algebras (17-XX) 5 Differential geometry (53-XX) 5 Global analysis, analysis on manifolds (58-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Number theory (11-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 2 Topological groups, Lie groups (22-XX) 2 Geometry (51-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Approximations and expansions (41-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-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.