If \mathcal{F} is separated, then \mathcal{F}^+ is a sheaf and the map of presheaves \mathcal{F} \to \mathcal{F}^+ is injective.
If \mathcal{F} is separated, then \mathcal{F}^+ is a sheaf and the map of presheaves \mathcal{F} \to \mathcal{F}^+ is injective.
Comments (0)