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.
Comments (1)
Comment #9858 by Yaël Dillies on
There are also: