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