Lemma 5.24.2. Let \mathcal{I} be a cofiltered category. Let i \mapsto X_ i be a diagram of spectral spaces such that for a : j \to i in \mathcal{I} the corresponding map f_ a : X_ j \to X_ i is spectral.
Given nonempty subsets Z_ i \subset X_ i closed in the constructible topology with f_ a(Z_ j) \subset Z_ i for all a : j \to i in \mathcal{I}, then \mathop{\mathrm{lim}}\nolimits Z_ i is nonempty.
If each X_ i is nonempty, then X = \mathop{\mathrm{lim}}\nolimits X_ i is nonempty.
Comments (0)