nLab
coherent topological space

A topological space $X$ is coherent if

• the collection of compact open subsets of $X$ is closed under finite intersections;

• and form a basis for the topology of $X$.

This is equivalent to saying that the topos of sheaves $\mathrm{Sh}(X)$ on $X$ is a coherent topos.