A presheaf ℱ : 𝒪(X)^op → Set satisfying the gluing axiom: compatible local sections on an open cover patch to a unique global section. The language of local-to-global data in geometry.
A presheaf ℱ : 𝒪(X)^op → Set satisfying the gluing axiom: compatible local sections on an open cover patch to a unique global section. The language of local-to-global data in geometry.