Emily Riehl

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Conceptual Model

Numerical Values

Top Venues

Appl. Categorical Struct.

Publications

Steve Awodey, Evan Cavallo, Thierry Coquand, Emily Riehl, Christian Sattler
The equivariant model structure on cartesian cubical sets. CoRR (2024)
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
Formalizing the ∞-Categorical Yoneda Lemma. CPP (2024)
Nikolai Kudasov, Emily Riehl, Jonathan Weinberger
Formalizing the ∞-categorical Yoneda lemma. CoRR (2023)
Emily Riehl, Dominic R. Verity
Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves. Appl. Categorical Struct. 28 (4) (2020)