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

On rigidification of quasi-categories:

On topos levels in simplicial sets and cubical sets:

On Reedy model structures via weighted colimits:

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

On directed homotopy type theory via a form of simplicial type theory

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 (discrete) Grothendieck fibrations and profunctors:

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) [web, video: YT]

On teaching (∞,1)-category theory to undergraduate students:

Formalization of the ( , 1 ) (\infty,1) -Yoneda lemma via simplicial homotopy type theory (in Rzk):

category: people

Last revised on February 17, 2024 at 08:41:20. See the history of this page for a list of all contributions to it.