10 citations · 31 across the 28 of their papers we have counts for
1 paper · 1 filter
Misha Gavrilovich, Assaf Hasson, Itay Kaplan
In this note we interpret Voevodsky's Univalence Axiom in the language of (abstract) model categories. We then show that any posetal locally Cartesian closed model category Qt in…