Definition 5.2.

An acyclic class in \(T\) is a saturated class of morphisms that is stable under base change. We write \(\Acyc(T)\) for the partially ordered set of acyclic classes in \(T\).