Definition 5.23.1. A topological space $X$ is called spectral if it is sober, quasi-compact, the intersection of two quasi-compact opens is quasi-compact, and the collection of quasi-compact opens forms a basis for the topology. A continuous map $f : X \to Y$ of spectral spaces is called spectral if the inverse image of a quasi-compact open is quasi-compact.

There are also:

• 4 comment(s) on Section 5.23: Spectral spaces

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).