Sheaf (mathematics)
= Sheaf (mathematics)
{wiki}
= Sheaf of sets
{synonym}
= Sheaf
{synonym}
A sheaf of sets is a presheaf in which compatible sections on any open cover glue to one unique section on the union.
A sheaf may additionally carry <abelian group> or <module> structure on its sections, with restriction and gluing preserving that structure. The underlying <sheaf of sets> retains the same local-to-global axiom.