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.

Principle

Local-to-global: encode local sections and the way they restrict and glue so that obstructions to global existence or uniqueness are measured by cohomological derived functors; exactness and flabbiness control computability.

Demonstration

The sheaf of continuous real-valued functions on a manifold assigns to each open set the ring of continuous functions; sections over an open cover that agree on overlaps glue to a global section, while nontrivial H^1 for a sheaf of local trivializations signals an obstruction to constructing a global object such as a line bundle.

Misapplication

Treating any presheaf as a sheaf without checking the gluing condition, or assuming sheaf cohomology coincides with singular cohomology for arbitrary coefficients or spaces, which leads to incorrect conclusions about obstructions.

Consequence

Sheaf theory organizes local data, provides a flexible language for coherent algebraic and analytic structures, and produces computable obstructions and classification invariants (e.g., line bundles, extension classes) via cohomology.

Reversal

A cosheaf reverses the variance and gluing perspective (pushouts instead of pullbacks), emphasizing how local contributions assemble forward rather than how global objects restrict to locals; some problems are better modeled by cosheaves than by sheaves.

Boundary

Applies to topological spaces and, more generally, to sites and topoi; excludes invariants that cannot be expressed in terms of local sections and restriction maps and situations where no meaningful cover/gluing theory exists.

Semantic Tension

Tension between presheaf and sheaf: presheaves record local assignments but may fail to glue; tension also exists between sheaves and fiber bundles since a locally trivial bundle determines a sheaf of sections but the converse requires further structure.

Synthesis

Sheaf theory formalizes locality and gluing: by encoding how local data restrict and combine, and by using derived functors one obtains cohomological invariants that measure exactly the obstructions to passing from local solutions to global objects.