46 citations · 283 across the 29 of their papers we have counts for
34 papers
Autoformalizing the calculation of
Daniel Carranza, Chunyi Liu, Emily Riehl +1
We report our findings and the results of our experiment of autoformalizing the homotopy type theoretic computation of in agda-unimath using Codex.
Could -category theory be taught to undergraduates?
Emily Riehl
The extension of ordinary category theory to -categories at the start of the 21st century was a spectacular achievement pioneered by Joyal and Lurie with contributions from…
On the -topos semantics of homotopy type theory
Emily Riehl
Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set-based foundations. This expository article…
A 2-categorical proof of Frobenius for fibrations defined from a generic point
Sina Hazratpour, Emily Riehl
Consider a locally cartesian closed category with an object I and a class of trivial fibrations, which admit sections and are stable under pushforward and retract as arrows. Define…
On -cosmoi of bicategories
Emily Riehl, Mira Wattal
An -cosmos is a setting in which to develop the formal category theory of -categories. In this paper, we explore a few atypical examples of -cosmoi whos…
An -categorical pasting theorem
Philip Hackney, Viktoriya Ozornova, Emily Riehl +1
We show that any pasting diagram in any -category has a homotopically unique composite. This is achieved by showing that the free 2-category generated by a pasting sche…