Definition 7.10.9. We say that a presheaf of sets \mathcal{F} on a site \mathcal{C} is separated if, for all coverings of \{ U_ i \rightarrow U\} , the map \mathcal{F}(U) \to \prod \mathcal{F}(U_ i) is injective.
Definition 7.10.9. We say that a presheaf of sets \mathcal{F} on a site \mathcal{C} is separated if, for all coverings of \{ U_ i \rightarrow U\} , the map \mathcal{F}(U) \to \prod \mathcal{F}(U_ i) is injective.
Comments (0)
There are also: