nLab Emily Riehl

Selected writings

I am an Assistant Professor in the Department of Mathematics at Johns Hopkins University.

My webpage can be found here.

Selected writings

An introductory category theory textbook for beginning graduate students or advanced undergraduates with an emphasis on applications of categorical concepts to a variety of areas of mathematics.

Textbooks on (simplicial) homotopy theory and (∞,1)-category theory with emphasis on tools from category theory and 2-category theory (via ∞-cosmoi and the homotopy 2-category of (∞,1)-categories):

Survey of homotopy theory from homotopical categories to (∞,1)-categories:

A new proof of the Strøm model structure using algebraic weak factorization systems:

On monads in computer science:

On left-transferred model structures and model structures on functors:

On (∞,1)-category theory via the homotopy 2-category of (∞,1)-categories (formal ( , 1 ) (\infty,1) -category theory):

On (∞,1)-functors and (∞,1)-monads:

On the Yoneda lemma for (∞,1)-categories:

On the categorical semantics of univalent homotopy type theory in \infty -topoi (proof of Awodey's conjecture):

Exposition of (∞,1)-category theory with an eye towards homotopy type theory:

  • Emily Riehl, \infty-Category theory for undergraduates, talk at CQTS (Dec. 2022) [video: rec]
category: people

Last revised on December 8, 2022 at 06:52:03. See the history of this page for a list of all contributions to it.