##  [Sheaf](/sheaf) 

  ##  [Sheaf](https://natural.quantumdictionary.io/sheaf-0) 

  

 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)



**Natural & Formal Sciences Dictionary**

 







 

 

 

 



 

 

 

 

Definition

A data assignment that associates to each open set of a topological space an algebraic object (sets, groups, rings, modules, etc.) together with restriction maps, satisfying locality (sections equal locally are equal) and gluing (compatible local sections glue uniquely).

 

 

 

 

 





 

 



 ##  [Sheaf](https://mathlogic.quantumdictionary.io/sheaf-1) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

A data assignment that associates to every open set U of a topological space X an algebraic or analytic object (set, group, ring, module, etc.) together with restriction maps, satisfying locality (sections equal on overlaps are equal) and gluing (compatible local sections on a cover uniquely glue to a global section).