cover-preserving functor

If $C$ and $D$ are sites, a functor $F\colon C\to D$ is **cover-preserving** (some people say **continuous**) if whenever $R$ is a covering family of an object $U\in C$, its image $F(R)$ is a covering family of $F(U)$ in $D$.

If $F$ is also flat, then it is called a morphism of sites, and induces a geometric morphism between sheaf toposes.

Created on November 7, 2010 18:15:50
by Mike Shulman
(71.137.3.108)