Garbe/Über Prägarbe/Definition

Garbe

Es sei ein topologischer Raum. Unter einer Garbe auf versteht man eine Prägarbe auf , die die folgenden Eigenschaften erfüllt.

  1. Zu jeder offenen Überdeckung und Elementen mit für alle gilt .
  2. Zu jeder offenen Überdeckung und Elementen mit für alle gibt es ein mit für alle .