# 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 $Sh(X)$ on $X$ is a coherent topos.

Revised on May 26, 2010 13:31:54 by Mike Shulman (75.3.130.212)