1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.HO2014
Point-set topology as diagram chasing computations: Lifting property as negation
Misha Gavrilovich
We observe that some natural mathematical definitions are lifting properties relative to simplest counterexamples, namely the definitions of surjectivity and injectivity of maps, a…
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…