Emily Riehl

Orcid: 0000-0002-8465-8859

According to our database¹, Emily Riehl authored at least 5 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Prospects for Computer Formalization of Infinite-Dimensional Category Theory (Invited Talk).

[BibT_eX]

[DOI]

Emily Riehl

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

A 2-categorical proof of Frobenius for fibrations defined from a generic point.

[BibT_eX]

[DOI]

Sina Hazratpour

Emily Riehl

Math. Struct. Comput. Sci., 2024

The equivariant model structure on cartesian cubical sets.

[BibT_eX]

[DOI]

CoRR, 2024

Formalizing the ∞-Categorical Yoneda Lemma.

[BibT_eX]

[DOI]

Nikolai Kudasov

Emily Riehl

Jonathan Weinberger

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2020

Recognizing Quasi-Categorical Limits and Colimits in Homotopy Coherent Nerves.

[BibT_eX]

[DOI]

Emily Riehl

Dominic R. Verity

Appl. Categorical Struct., 2020

Emily Riehl

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...