0.8 Presheaves, sheaves, and contextual agreement

Some theories are observed only through overlapping contexts. A presheaf assigns information \(F(U)\) to each context \(U\) and restriction maps

that compose coherently. A sheaf adds a local-to-global principle: compatible local sections on a cover glue to a unique global section.

Crossword puzzles give a simple intuition. Each clue determines a set of candidate words. Intersections of across and down entries are overlaps. Candidates are locally compatible when their shared letters agree. A complete solution is a global section. Local agreement need not guarantee that a global solution exists unless the relevant gluing conditions are met.

In scientific creativity, contexts may be experiments, papers, simulators, scales, or coordinate charts. A failure to glue can reveal an inconsistent claim, a missing latent variable, or an inadequate global theory. Sheaf language keeps localization visible: the system can say where agreement holds without pretending that it holds everywhere [ Mac Lane and Moerdijk , 1992 ] .