2 citations · 4 across the 2 of their papers we have counts for
2 papers
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…
math.LO2021★ 2 cited
Kripke-Joyal forcing for type theory and uniform fibrations
S. Awodey, N. Gambino, S. Hazratpour
We introduce a new method for precisely relating certain kinds of algebraic structures in a presheaf category and judgements of its internal type theory. The method provides a syst…