Prägarbe/Homomorphismus/Verknüpfung/Fakt

Es sei ${}X$ ein topologischer Raum und seien ${}{\mathcal {F}},{\mathcal {G}},{\mathcal {H}}$ Prägarben auf ${}X$.

Dann gelten folgende Aussagen.

1. Die Identität

   ${\mathcal {F}}\longrightarrow {\mathcal {F}}$

   ist ein Morphismus von Prägarben.

2. Wenn ${}\varphi \colon {\mathcal {F}}\rightarrow {\mathcal {G}}$ und ${}\psi \colon {\mathcal {G}}\rightarrow {\mathcal {H}}$ Morphismen von Prägarben sind, so ist auch die Verknüpfung ${}\psi \circ \varphi$ ein Morphismus von Prägarben.
3. Zu einer Unterprägarbe ${}{\mathcal {F}}\subseteq {\mathcal {G}}$ ist die natürliche Inklusion ein Morphismus von Prägraben.

Einen Beweis erstellen