46 citations · 283 across the 29 of their papers we have counts for
Showing 2022 · math.CTShow all
2 papers · 2 filters
math.CT2022★ 2 cited
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…
math.CT2022★ 2 cited
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…