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.

Prinzip

Lokales‑zu‑Globalem: globale Objekte werden aus kompatiblen lokalen Daten mittels Einschränkungen und eindeutigem Kleben aufgebaut, wodurch Garben das Formalismus für lokal definierte Strukturen und deren globale Obstruktionen bilden.

Demonstration

Die Garbe der stetigen reellen Funktionen ordnet jeder offenen U den Ring C^0(U) zu; auf Überlappungen übereinstimmende Funktionen stammen von einer eindeutigen globalen stetigen Funktion, ein Beispiel für Lokalität und Kleben.

Fehlanwendung

Ein Prägarbe ohne Überprüfung des Klebeaxioms als Garbe zu behandeln oder anzunehmen, globale Schnitte würden das gesamte lokale Verhalten darstellen, obwohl nichttriviale Klebeobstruktionen (Kohomologie) bestehen können.

Konsequenz

Garben ermöglichen die Definition von Kohomologiegruppen, die Obstruktionen für das Kleben messen und Erweiterungs‑, Klassifikations‑ und Deformationsprobleme in Geometrie und Analysis steuern.

Umkehrung

Eine Prägarbe, die das Klebeaxiom nicht erfüllt, oder eine Kosgarbe, bei der Informationen aggregiert statt eingeschränkt werden; diese besitzen nicht die vollständige lokale‑zu‑globale Rekonstruktionsfähigkeit von Garben.

Abgrenzung

Definiert über einem topologischen Raum (oder Site); schließt willkürliche Zuordnungen ohne Einschränkungsabbildungen aus und unterscheidet sich von Bündeln, die lokale Trivialität und typischerweise zusätzliche Struktur (Faser, Übergangsfunktionen) verlangen.

Semantische Spannung

Spannung zwischen der Auffassung einer Garbe als 'variabler Koeffizientenobjekt' (analytisch/algebraischer Blick) und als étalierter Raum bzw. Bündel (geometrisch/topologischer Blick) — komplementäre, aber verschiedene Betonungen.

Synthese

Eine Garbe organisiert lokale algebraische oder analytische Daten auf einem topologischen Raum mit kompatiblen Einschränkungsabbildungen, sodass lokal konsistente Informationen eindeutig zu globalen Objekten zusammengesetzt werden können; die Kohomologie misst die Scheitern des Klebens.