Sheaf Theory

The theory of sheaves: a sheaf assigns algebraic or categorical data to open sets of a topological space (or objects of a site) together with restriction maps satisfying locality and gluing axioms, and studies the global consequences via derived constructions such as sheaf cohomology.