×
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
Videos: carmin.tv
Documents Indexed: 46 Publications since 2003, including 4 Books and 3 Additional arXiv Preprints
4 Contributions as Editor · 1 Further Contribution
Reviewing Activity: 5 Reviews
Biographic References: 1 Publication
Co-Authors: 52 Co-Authors with 39 Joint Publications
1,064 Co-Co-Authors
all top 5

Co-Authors

12 single-authored
12 Verity, Dominic
3 Kȩdziorek, Magdalena
2 Awodey, Steve
2 Barthel, Tobias
2 Coquand, Thierry
2 Fraser, Maia
2 Garner, Richard
2 Granville, Andrew James
2 Hackney, Philip
2 Harris, Michael Howard
2 Hess, Kathryn P.
2 McLarty, Colin
2 Ozornova, Viktoriya
2 Rovelli, Martina
2 Shipley, Brooke E.
2 Shulman, Michael A.
2 Venkatesh, Akshay
1 Aczel, Peter
1 Ahrens, Benedikt
1 Altenkirch, Thorsten
1 Angiuli, Carlo
1 Avigad, Jeremy
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 Cavallo, Evan
1 Cheng, Eugenia
1 Ching, Michael
1 Cohen, Cyril
1 Constable, Robert Lee
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 Sattler, Christian
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 Van den Berg, Benno
1 Voevodskiĭ, Vladimir Aleksandrovich
1 Warren, Michael Alton
1 Wattal, Mira
...and 4 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

39 Publications have been cited 670 times in 458 Documents Cited by Year
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
261
2013
Categorical homotopy theory. Zbl 1317.18001
Riehl, Emily
139
2014
Category theory in context. Zbl 1348.18001
Riehl, Emily
64
2016
Elements of \(\infty\)-category theory. Zbl 1492.18001
Riehl, Emily; Verity, Dominic
50
2022
Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020
Riehl, Emily; Verity, Dominic
35
2016
A necessary and sufficient condition for induced model structures. Zbl 1381.55010
Hess, Kathryn; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke
32
2017
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
28
2014
The 2-category theory of quasi-categories. Zbl 1319.18005
Riehl, Emily; Verity, Dominic
25
2015
A type theory for synthetic \(\infty\)-categories. Zbl 1437.18016
Riehl, Emily; Shulman, Michael
25
2017
Algebraic model structures. Zbl 1222.55016
Riehl, Emily
24
2011
Six model structures for DG-modules over DGAs: model category theory in homological action. Zbl 1342.16006
Barthel, Tobias; May, J. P.; Riehl, Emily
23
2014
Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007
Riehl, Emily; Verity, Dominic
22
2017
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
Left-induced model structures and diagram categories. Zbl 1346.18023
Bayeh, Marzieh; Hess, Kathryn; Karpova, Varvara; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke
17
2015
Lifting accessible model structures. Zbl 1442.18011
Garner, Richard; Kędziorek, Magdalena; Riehl, Emily
17
2020
Coalgebraic models for combinatorial model categories. Zbl 1311.18006
Ching, Michael; Riehl, Emily
15
2014
On the construction of functorial factorizations for model categories. Zbl 1268.18001
Barthel, Tobias; Riehl, Emily
15
2013
Categorical notions of fibration. Zbl 1464.18010
Loregian, Fosco; Riehl, Emily
14
2020
Cyclic multicategories, multivariable adjunctions and mates. Zbl 1326.18005
Cheng, Eugenia; Gurski, Nick; Riehl, Emily
13
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
10
2017
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006
Riehl, Emily; Verity, Dominic
10
2015
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
7
2018
A comparison of norm maps. Zbl 1318.55013
Bohmann, Anna Marie; Riehl, Emily
6
2014
On the structure of simplicial categories associated to quasi-categories. Zbl 1232.18014
Riehl, Emily
6
2011
Infinity category theory from scratch. Zbl 1451.18042
Riehl, Emily; Verity, Dominic
5
2020
Monoidal algebraic model structures. Zbl 1275.55014
Riehl, Emily
5
2013
The comprehension construction. Zbl 1409.18021
Riehl, Emily; Verity, Dominic
5
2018
On the intersections of polynomials and the Cayley-Bacharach theorem. Zbl 1032.13011
Riehl, Emily; Evans, E. Graham jun.
4
2003
An \((\infty ,2)\)-categorical pasting theorem. Zbl 1505.18031
Hackney, Philip; Ozornova, Viktoriya; Riehl, Emily; Rovelli, Martina
3
2023
Homotopical categories: from model categories to \((\infty,1)\)-categories. Zbl 1499.18043
Riehl, Emily
3
2022
Levels in the toposes of simplicial sets and cubical sets. Zbl 1229.55016
Kennett, Carolyn; Riehl, Emily; Roy, Michael; Zaks, Michael
3
2011
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003
Riehl, Emily; Verity, Dominic
3
2020
Could \( \infty \)-category theory be taught to undergraduates? Zbl 1528.18023
Riehl, Emily
2
2023
Fat chance. Probability from 0 to 1. Zbl 1423.00005
Gross, Benedict; Harris, Joe; Riehl, Emily
1
2019
On the construction of limits and colimits in \(\infty\)-categories. Zbl 1451.18043
Riehl, Emily; Verity, Dominic
1
2020
On \(\infty\)-cosmoi of bicategories. Zbl 1504.18018
Riehl, Emily; Wattal, Mira
1
2022
On the \(\infty\)-topos semantics of homotopy type theory. Zbl 1533.18019
Riehl, Emily
1
2024
On the \(\infty\)-topos semantics of homotopy type theory. Zbl 1533.18019
Riehl, Emily
1
2024
An \((\infty ,2)\)-categorical pasting theorem. Zbl 1505.18031
Hackney, Philip; Ozornova, Viktoriya; Riehl, Emily; Rovelli, Martina
3
2023
Could \( \infty \)-category theory be taught to undergraduates? Zbl 1528.18023
Riehl, Emily
2
2023
Elements of \(\infty\)-category theory. Zbl 1492.18001
Riehl, Emily; Verity, Dominic
50
2022
Homotopical categories: from model categories to \((\infty,1)\)-categories. Zbl 1499.18043
Riehl, Emily
3
2022
On \(\infty\)-cosmoi of bicategories. Zbl 1504.18018
Riehl, Emily; Wattal, Mira
1
2022
Lifting accessible model structures. Zbl 1442.18011
Garner, Richard; Kędziorek, Magdalena; Riehl, Emily
17
2020
Categorical notions of fibration. Zbl 1464.18010
Loregian, Fosco; Riehl, Emily
14
2020
Infinity category theory from scratch. Zbl 1451.18042
Riehl, Emily; Verity, Dominic
5
2020
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003
Riehl, Emily; Verity, Dominic
3
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
7
2018
The comprehension construction. Zbl 1409.18021
Riehl, Emily; Verity, Dominic
5
2018
A necessary and sufficient condition for induced model structures. Zbl 1381.55010
Hess, Kathryn; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke
32
2017
A type theory for synthetic \(\infty\)-categories. Zbl 1437.18016
Riehl, Emily; Shulman, Michael
25
2017
Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007
Riehl, Emily; Verity, Dominic
22
2017
Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020
Riehl, Emily; Verity, Dominic
10
2017
Category theory in context. Zbl 1348.18001
Riehl, Emily
64
2016
Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020
Riehl, Emily; Verity, Dominic
35
2016
The 2-category theory of quasi-categories. Zbl 1319.18005
Riehl, Emily; Verity, Dominic
25
2015
Left-induced model structures and diagram categories. Zbl 1346.18023
Bayeh, Marzieh; Hess, Kathryn; Karpova, Varvara; Kȩdziorek, Magdalena; Riehl, Emily; Shipley, Brooke
17
2015
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006
Riehl, Emily; Verity, Dominic
10
2015
Categorical homotopy theory. Zbl 1317.18001
Riehl, Emily
139
2014
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
28
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
23
2014
Coalgebraic models for combinatorial model categories. Zbl 1311.18006
Ching, Michael; Riehl, Emily
15
2014
Cyclic multicategories, multivariable adjunctions and mates. Zbl 1326.18005
Cheng, Eugenia; Gurski, Nick; Riehl, Emily
13
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
6
2014
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002
The Univalent Foundations Program
261
2013
On the construction of functorial factorizations for model categories. Zbl 1268.18001
Barthel, Tobias; Riehl, Emily
15
2013
Monoidal algebraic model structures. Zbl 1275.55014
Riehl, Emily
5
2013
Algebraic model structures. Zbl 1222.55016
Riehl, Emily
24
2011
On the structure of simplicial categories associated to quasi-categories. Zbl 1232.18014
Riehl, Emily
6
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.
4
2003
all top 5

Cited by 510 Authors

19 Riehl, Emily
17 Rovelli, Martina
13 Ozornova, Viktoriya
12 Hackney, Philip
10 Bourke, John
7 Haugseng, Rune
7 Hess, Kathryn P.
7 Rasekh, Nima
7 Verity, Dominic
6 D’Angelo, John P.
6 Garner, Richard
6 Gaucher, Philippe
6 Kapulkin, Krzysztof
6 Schenkel, Alexander
6 Schweigert, Christoph
6 Shulman, Michael A.
6 Woike, Lukas
5 Benini, Marco
5 Blumberg, Andrew J.
5 Bunk, Severin
5 Lebl, Jiří
5 Mathew, Akhil
5 Nuiten, Joost Jakob
5 Rivera, Manuel
5 Rosický, Jiří
5 Sattler, Christian
5 Yau, Donald Y.
4 Beardsley, Jonathan
4 Bergner, Julie
4 Bonventre, Peter
4 Campbell, Alexander Peter
4 Drummond-Cole, Gabriel C.
4 Fuchs, Jürgen
4 Gambino, Nicola
4 Grundmeier, Dusty E.
4 Kȩdziorek, Magdalena
4 Lack, Stephen
4 Livernet, Muriel
4 Moser, Lyne
4 Pereira, Luís Alexandre
4 Péroux, Maximilien
4 Robertson, Marcy
4 Schreiber, Urs
4 Shipley, Brooke E.
4 Williamson, Jordan
4 Zeinalian, Mahmoud
3 Brooks, Jennifer
3 Chirvăsitu, Alexandru
3 Coquand, Thierry
3 Cruttwell, Geoffrey S. H.
3 Curien, Pierre-Louis
3 Erdal, Mehmet Akif
3 Fritz, Tobias
3 Henry, Simon
3 Knudsen, Ben
3 Kraus, Nicolai
3 Lesnick, Michael
3 Licata, Daniel R.
3 Lucyshyn-Wright, Rory B. B.
3 Merling, Mona
3 Mörtberg, Anders
3 Müller, Lukas
3 Naisse, Grégoire
3 Osorno, Angélica Maria
3 Pacaud Lemay, Jean-Simon
3 Patterson, Evan
3 Rahn, Moritz
3 Sampedro, Juan Carlos
3 Sati, Hisham
3 Scheimbauer, Claudia I.
3 Szumiło, Karol
3 Vaz, Pedro
3 Weinberger, Jonathan Maximilian Lajos
3 Wong, Liang Ze
2 Anel, Mathieu
2 Angiuli, Carlo
2 Arone, Gregory Z.
2 Awodey, Steve
2 Balachandran, Niranjan
2 Balchin, Scott
2 Barthel, Tobias
2 Batanin, Michael A.
2 Biedermann, Georg
2 Botnan, Magnus Bakke
2 Braunack-Mayer, Vincent
2 Bruinsma, Simen
2 Bubenik, Peter
2 Buchholtz, Ulrik
2 Campbell, Jonathan Alfred
2 Chih, Tien
2 Ching, Michael
2 Cirici, Joana
2 Cockett, J. Robin B.
2 Doherty, Brandon
2 Egas Santander, Daniela
2 Elmanto, Elden
2 Fairbanks, James P.
2 Finster, Eric
2 Fresse, Benoit
2 Fu, Xianhui
...and 410 more Authors
all top 5

Cited in 111 Serials

42 Journal of Pure and Applied Algebra
38 Advances in Mathematics
35 Algebraic & Geometric Topology
34 Theory and Applications of Categories
26 Applied Categorical Structures
17 Journal of Homotopy and Related Structures
12 Higher Structures
10 Proceedings of the American Mathematical Society
10 Mathematical Structures in Computer Science
9 Mathematische Zeitschrift
8 Communications in Mathematical Physics
8 Logical Methods in Computer Science
8 Journal of Topology
7 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 Journal of Algebra
4 The Journal of Geometric Analysis
4 Geometry & Topology
4 Journal of Applied and Computational Topology
3 Compositio Mathematica
3 Memoirs of the American Mathematical Society
3 Selecta Mathematica. New Series
3 Annals of Mathematics. Second Series
3 Journal of the Institute of Mathematics of Jussieu
3 Categories and General Algebraic Structures with Applications
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 Fuzzy Sets and Systems
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 Foundations of Computational Mathematics
2 Journal of \(K\)-Theory
2 Journal of Logical and Algebraic Methods in Programming
2 Annals of \(K\)-Theory
2 SIAM Journal on Applied Algebra and Geometry
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of Theoretical Physics
1 Israel Journal of Mathematics
1 Letters in Mathematical Physics
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Journal of Geometry and Physics
1 Fortschritte der Physik
1 Algebra Universalis
1 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série
1 Bulletin de la Société Mathématique de France
1 Collectanea Mathematica
1 Commentationes Mathematicae Universitatis Carolinae
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 Rendiconti del Seminario Matematico della Università di Padova
1 Theoretical Computer Science
1 Annals of Pure and Applied Logic
1 Order
1 Revista Matemática Iberoamericana
1 Journal of Automated Reasoning
1 Journal of Theoretical Probability
1 Differential Geometry and its Applications
1 Linear Algebra and its Applications
1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics
1 Journal of Algebraic Combinatorics
1 Topology Proceedings
1 Turkish Journal of Mathematics
1 Journal of Functional Programming
1 Advances in Computational Mathematics
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 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
...and 11 more Serials
all top 5

Cited in 43 Fields

307 Category theory; homological algebra (18-XX)
232 Algebraic topology (55-XX)
46 Mathematical logic and foundations (03-XX)
44 Associative rings and algebras (16-XX)
37 Manifolds and cell complexes (57-XX)
34 Algebraic geometry (14-XX)
33 Computer science (68-XX)
28 \(K\)-theory (19-XX)
20 Commutative algebra (13-XX)
20 Quantum theory (81-XX)
19 Several complex variables and analytic spaces (32-XX)
15 Combinatorics (05-XX)
12 Group theory and generalizations (20-XX)
12 Global analysis, analysis on manifolds (58-XX)
11 Differential geometry (53-XX)
9 Order, lattices, ordered algebraic structures (06-XX)
9 Functional analysis (46-XX)
8 Nonassociative rings and algebras (17-XX)
6 Topological groups, Lie groups (22-XX)
6 General topology (54-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 Linear and multilinear algebra; matrix theory (15-XX)
4 Mechanics of particles and systems (70-XX)
3 Operator theory (47-XX)
3 Geometry (51-XX)
3 Probability theory and stochastic processes (60-XX)
3 Numerical analysis (65-XX)
3 Relativity and gravitational theory (83-XX)
3 Operations research, mathematical programming (90-XX)
2 Field theory and polynomials (12-XX)
2 Statistics (62-XX)
2 Optics, electromagnetic theory (78-XX)
1 History and biography (01-XX)
1 Real functions (26-XX)
1 Approximations and expansions (41-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Convex and discrete geometry (52-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-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.