Example 6.98.
A topos is 1-coherent if it is locally quasi-compact, and qcqs. A topos \(T\) is 2-coherent if and only if it is qcqs, locally qcqs, and for all qcqs \(X,Y \in T\) also \(X \times Y\) is qcqs.
Example 6.98.
A topos is 1-coherent if it is locally quasi-compact, and qcqs. A topos \(T\) is 2-coherent if and only if it is qcqs, locally qcqs, and for all qcqs \(X,Y \in T\) also \(X \times Y\) is qcqs.