Der Prozess, der einem Prägarben den nächstliegenden Garben zuordnet, der mit ihm auf den Halmen übereinstimmt, indem Lokalitäts- und Verklebeaxiome erzwungen werden; das Ergebnis heißt assoziierte Garbe oder Garbifizierung aF.

Prinzip

Die Garbifizierung ist linksadjungiert zum Inklusionsfunktor der Garben in die Prägarben: sie universalisiert das Erzwingen der Garbenaxiome und erzeugt die minimale Garbe, die einen Morphismus vom Prägarben empfängt.

Demonstration

Beispiel: Gegeben ein Prägarbe von Funktionen auf offenen Mengen, die die Verklebe-Bedingung verletzt, ersetzt die Garbifizierung jede Sektion durch Keime und verklebt kompatible Keime zu Sektionen der assoziierten Garbe; halmweise stimmen Prägarbe und Garbifizierung überein.

Fehlanwendung

Naive punktweise Ersetzung von Werten ohne Bildung der Keime und Prüfung der Kompatibilität kann Objekte erzeugen, die keine Garben sind oder das Keimverhalten verändern; das Unterlassen der Prüfung der universellen Eigenschaft verwechselt die assoziierte Garbe.

Konsequenz

Die Garbifizierung liefert einen Reflektor: Jeder Morphismus von einem Prägarben zu einer Garbe faktorisert eindeutig über die assoziierte Garbe und erlaubt so die Anwendung garbentheoretischer Methoden (Kohomologie, lokal-zu-global-Argumente) auf zuvor nicht-garbentheoretische Daten.

Umkehrung

Die duale Sichtweise ist das Vergessen der Garbenbedingung, ein Garbe als bloßen Prägarben zu betrachten; diese Umkehr entfernt Verklebe-Bedingungen und opfert die universelle Reflexionseigenschaft der Garbifizierung.

Abgrenzung

Gilt für Sites und topologische Räume mit Prägarben, die Werte in einer Kategorie annehmen, die die relevanten Kolimiten besitzt; die Garbifizierung hängt von der zugrundeliegenden Überdeckung ab und liefert keine sinnvollen Ergebnisse für beliebige, nicht-lokalitätsgestützte Zuordnungen.

Semantische Spannung

Spannung zwischen konkreten Konstruktionen (Keime, Plus-Konstruktion über separierten Prägarben und anschließende Garbifizierung) und dem abstrakten Adjungierten-/Reflektor-Perspektive; die Konzentration auf nur eine Sicht kann praktische Berechnung oder universelle Bedeutung verschleiern.

Synthese

Die Garbifizierung ist der reflexive Prozess, der lokale Daten in global konsistente Garbendaten verwandelt: sie erhält Keime, erzwingt Verkleben und liefert die minimale Garbe, durch die jeder Prägarben→Garbe-Morphismus faktorisert.