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

Publications by Year

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 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

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