Operations on sheaves #
Main definition #
A subpresheaf with a submonoid structure on each of the components.
The map into the localization presheaf.
Given a submonoid at each of the stalks, we may define a submonoid presheaf consisting of sections whose restriction onto each stalk falls in the given submonoid.