sheaf
/ʃiːf/
noun
層
An abstract construct in topology that associates data to the open sets of a topological space, together with well-defined restrictions from larger to smaller open sets, subject to the condition that compatible data on overlapping open sets corresponds, via the restrictions, to a unique datum on the union of the open sets.
