1 citations · 1 across the 3 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.CT2010★ 1 cited
A homotopy approach to set theory
Misha Gavrilovich
We observe that the notion of two sets being equal up to finitely many elements is a homotopy equivalence relation in a model category, and suggest a homotopy-invariant variant of…