10 citations · 31 across the 28 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2012
Exercices de style: A homotopy theory for set theory II
Misha Gavrilovich, Assaf Hasson
This is the second part of a work initiated in \cite{GaHa}, where we constructed a model category, $\Qt$, for set theory. In the present paper we use this model category to introdu…
math.CT2011
The univalence axiom in posetal model categories
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 in…