DERIVED PRESTACK ∞
QCoh ∞-CATEGORY
SIMPLICIAL DESCENT
◆ DERIVED PRESTACK ∞ ◆