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.