×
Compute Distance To:
Author ID: riehl.emily Recent zbMATH articles by "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

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 403 times in 233 Documents Cited by Year
Categorical homotopy theory. Zbl 1317.18001
Riehl, Emily
67
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
63
2013
Category theory in context. Zbl 1348.18001
Riehl, Emily
24
2016
Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020
Riehl, Emily; Verity, Dominic
23
2016
A sharp bound for the degree of proper monomial mappings between balls. Zbl 1052.26016
D’Angelo, John P.; Kos, Šimon; Riehl, Emily
17
2003
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
17
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
16
2014
Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007
Riehl, Emily; Verity, Dominic
16
2017
The 2-category theory of quasi-categories. Zbl 1319.18005
Riehl, Emily; Verity, Dominic
16
2015
Algebraic model structures. Zbl 1222.55016
Riehl, Emily
16
2011
A necessary and sufficient condition for induced model structures. Zbl 1381.55010
Hess, Kathryn; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke
15
2017
Cyclic multicategories, multivariable adjunctions and mates. Zbl 1326.18005
Cheng, Eugenia; Gurski, Nick; Riehl, Emily
11
2014
Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020
Riehl, Emily; Verity, Dominic
9
2017
Left-induced model structures and diagram categories. Zbl 1346.18023
Bayeh, Marzieh; Hess, Kathryn; Karpova, Varvara; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke
9
2015
Coalgebraic models for combinatorial model categories. Zbl 1311.18006
Ching, Michael; Riehl, Emily
8
2014
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006
Riehl, Emily; Verity, Dominic
8
2015
On the construction of functorial factorizations for model categories. Zbl 1268.18001
Barthel, Tobias; Riehl, Emily
8
2013
A type theory for synthetic \(\infty\)-categories. Zbl 1437.18016
Riehl, Emily; Shulman, Michael
8
2017
Elements of \(\infty\)-category theory. Zbl 07401241
Riehl, Emily; Verity, Dominic
6
2022
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
Homotopical resolutions associated to deformable adjunctions. Zbl 1317.55009
Blumberg, Andrew J.; Riehl, Emily
6
2014
Lifting accessible model structures. Zbl 1442.18011
Garner, Richard; Kędziorek, Magdalena; Riehl, Emily
6
2020
On the structure of simplicial categories associated to quasi-categories. Zbl 1232.18014
Riehl, Emily
4
2011
The comprehension construction. Zbl 1409.18021
Riehl, Emily; Verity, Dominic
4
2018
A comparison of norm maps. Zbl 1318.55013
Bohmann, Anna Marie; Riehl, Emily
3
2014
On the intersections of polynomials and the Cayley-Bacharach theorem. Zbl 1032.13011
Riehl, Emily; Evans, E. Graham jun.
3
2003
Levels in the toposes of simplicial sets and cubical sets. Zbl 1229.55016
Kennett, Carolyn; Riehl, Emily; Roy, Michael; Zaks, Michael
2
2011
Complicial sets, an overture. Zbl 1409.18018
Riehl, Emily
2
2018
Categorical notions of fibration. Zbl 1464.18010
Loregian, Fosco; Riehl, Emily
2
2020
Infinity category theory from scratch. Zbl 1451.18042
Riehl, Emily; Verity, Dominic
1
2020
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003
Riehl, Emily; Verity, Dominic
1
2020
Elements of \(\infty\)-category theory. Zbl 07401241
Riehl, Emily; Verity, Dominic
6
2022
Lifting accessible model structures. Zbl 1442.18011
Garner, Richard; Kędziorek, Magdalena; Riehl, Emily
6
2020
Categorical notions of fibration. Zbl 1464.18010
Loregian, Fosco; Riehl, Emily
2
2020
Infinity category theory from scratch. Zbl 1451.18042
Riehl, Emily; Verity, Dominic
1
2020
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003
Riehl, Emily; Verity, Dominic
1
2020
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
4
2018
Complicial sets, an overture. Zbl 1409.18018
Riehl, Emily
2
2018
Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007
Riehl, Emily; Verity, Dominic
16
2017
A necessary and sufficient condition for induced model structures. Zbl 1381.55010
Hess, Kathryn; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke
15
2017
Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020
Riehl, Emily; Verity, Dominic
9
2017
A type theory for synthetic \(\infty\)-categories. Zbl 1437.18016
Riehl, Emily; Shulman, Michael
8
2017
Category theory in context. Zbl 1348.18001
Riehl, Emily
24
2016
Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020
Riehl, Emily; Verity, Dominic
23
2016
The 2-category theory of quasi-categories. Zbl 1319.18005
Riehl, Emily; Verity, Dominic
16
2015
Left-induced model structures and diagram categories. Zbl 1346.18023
Bayeh, 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.18006
Riehl, Emily; Verity, Dominic
8
2015
Categorical homotopy theory. Zbl 1317.18001
Riehl, Emily
67
2014
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
17
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
16
2014
Cyclic multicategories, multivariable adjunctions and mates. Zbl 1326.18005
Cheng, Eugenia; Gurski, Nick; Riehl, Emily
11
2014
Coalgebraic models for combinatorial model categories. Zbl 1311.18006
Ching, Michael; Riehl, Emily
8
2014
Homotopical resolutions associated to deformable adjunctions. Zbl 1317.55009
Blumberg, Andrew J.; Riehl, Emily
6
2014
A comparison of norm maps. Zbl 1318.55013
Bohmann, Anna Marie; Riehl, Emily
3
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
63
2013
On the construction of functorial factorizations for model categories. Zbl 1268.18001
Barthel, Tobias; Riehl, Emily
8
2013
Monoidal algebraic model structures. Zbl 1275.55014
Riehl, Emily
6
2013
Algebraic model structures. Zbl 1222.55016
Riehl, Emily
16
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
2
2011
A sharp bound for the degree of proper monomial mappings between balls. Zbl 1052.26016
D’Angelo, John P.; Kos, Šimon; Riehl, Emily
17
2003
On the intersections of polynomials and the Cayley-Bacharach theorem. Zbl 1032.13011
Riehl, Emily; Evans, E. Graham jun.
3
2003
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

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.