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…