Prägarbe/Homomorphismus/Verknüpfung/Fakt

Es sei ein topologischer Raum und seien Prägarben auf .

Dann gelten folgende Aussagen.

  1. Die Identität

    ist ein Morphismus von Prägarben.

  2. Wenn und Morphismen von Prägarben sind, so ist auch die Verknüpfung ein Morphismus von Prägarben.
  3. Zu einer Unterprägarbe ist die natürliche Inklusion ein Morphismus von Prägraben.