# 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.

Last revised on May 26, 2010 at 13:31:54. See the history of this page for a list of all contributions to it.