Lemma 2.22.
Let \(C\) be a category with pullbacks and geometric realizations. Then \(C\) satisfies descent for groupoid colimits if and only if groupoid colimits are universal and effective.
Proof
This follows as in Corollary 2.9.
Lemma 2.22.
Let \(C\) be a category with pullbacks and geometric realizations. Then \(C\) satisfies descent for groupoid colimits if and only if groupoid colimits are universal and effective.