Sheaf of sets (source code)

= Sheaf of sets
{wiki=Sheaf_(mathematics)}

A sheaf of sets is a presheaf in which compatible sections on any open cover glue to one unique section on the union.