Garbe/Gruppen/Homomorphismus/Bildgarbe/Definition

Bildgarbe

Es sei ${}X$ ein topologischer Raum und es sei ${}\varphi \colon {\mathcal {F}}\rightarrow {\mathcal {G}}$ ein Homomorphismus von Garben von kommutativen Gruppen. Dann nennt man die Vergarbung der durch

${}{\left(\operatorname {bild} \varphi \right)}(U):=\operatorname {bild} \varphi _{U}\,$

gegebenen Prägarbe die Bildgarbe zu ${}\varphi$.