Definition 7.38.1. Let \mathcal{C} be a site.
A family of points \{ p_ i\} _{i\in I} is called conservative if every map of sheaves \phi : \mathcal{F} \to \mathcal{G} which is an isomorphism on all the fibres \mathcal{F}_{p_ i} \to \mathcal{G}_{p_ i} is an isomorphism.
We say that \mathcal{C} has enough points if there exists a conservative family of points.
Comments (4)
Comment #2175 by Kestutis Cesnavicius on
Comment #2204 by Johan on
Comment #3840 by Rene on
Comment #3933 by Johan on