Garbe

Eine Datenzuweisung, die jeder offenen Menge eines topologischen Raums ein algebraisches Objekt (Mengen, Gruppen, Ringe, Moduln, etc.) sowie Einschränkungsabbildungen zuordnet und die Lokalitäts‑ und Klebeaxiome (lokal gleiche Schnitte sind gleich; kompatible lokale Schnitte kleben eindeutig zusammen) erfüllt.

Eine Datenzuordnung, die jeder offenen Menge U eines topologischen Raums X ein algebraisches oder analytisches Objekt (Menge, Gruppe, Ring, Modul usw.) zusammen mit Einschränkungsabbildungen zuordnet und die Lokalitätsaxiom (auf Überlappungen gleiche Schnitte sind gleich) sowie das Verklebeaxiom (kompatible lokale Schnitte auf einer Überdeckung kleben eindeutig zu einem globalen Schnitt) erfüllt.