Prägarbe/Isomorphismus/Definition

Isomorphismus (Prägarbe)

Ein Morphismus von Prägarben ${}\varphi \colon {\mathcal {F}}\rightarrow {\mathcal {G}}$ auf ${}X$ heißt Isomorphismus, wenn für jede offene Teilmenge ${}U\subseteq X$ eine Bijektion ${}{\mathcal {F}}{\left(U\right)}\rightarrow {\mathcal {G}}{\left(U\right)}$ vorliegt.