Remark 6.107.
If \(T\) is not just locally coherent, but also coherent, then the collection of objects \(T_0\) provided by the corollary may be assumed to contain the final object.
Remark 6.107.
If \(T\) is not just locally coherent, but also coherent, then the collection of objects \(T_0\) provided by the corollary may be assumed to contain the final object.