Es sei ein
topologischer Raum.
Unter einer
Garbe
auf versteht man eine
Prägarbe
auf , die die folgenden Eigenschaften erfüllt.
- Zu jeder
offenen Überdeckung
und Elementen
mit
für alle
gilt
.
- Zu jeder offenen Überdeckung
und Elementen
mit
für alle
gibt es ein
mit
für alle
.