Prägarbe/Definition

Prägarbe

Es sei ein topologischer Raum. Unter einer Prägarbe auf versteht man eine Zuordnung, die jeder offenen Menge eine Menge und zu je zwei offenen Mengen eine Abbildung

zuordnet, wobei diese Zuordnung die beiden folgenden Bedingungen erfüllen muss.

  1. Zu ist
  2. Zu offenen Mengen

    ist stets