Corollary 2.9.
Let \(T\) be a category with pullbacks and \(I\)-indexed colimits. Then \(T\) satisfies descent for \(I\)-indexed colimits if and only if \(I\)-indexed colimits are both effective and universal.
Higher Topos Theory Section 2.1: Topoi and descent
Corollary 2.9.
Let \(T\) be a category with pullbacks and \(I\)-indexed colimits. Then \(T\) satisfies descent for \(I\)-indexed colimits if and only if \(I\)-indexed colimits are both effective and universal.