10 citations · 41 across the 29 of their papers we have counts for
1 paper · 2 filters
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…