Definition 6.95.
An object \(X \in T\) is called quasi-separated if for any two maps \(Y \to X\) and \(Z \to X\) from quasi-compact objects \(Y\) and \(Z\), also the fiber product \(Y \times_X Z\) is quasi-compact.
Definition 6.95.
An object \(X \in T\) is called quasi-separated if for any two maps \(Y \to X\) and \(Z \to X\) from quasi-compact objects \(Y\) and \(Z\), also the fiber product \(Y \times_X Z\) is quasi-compact.