Topologischer Raum/Garben/Morphismen/Garbe/Fakt

Zu Garben ${}{\mathcal {F}}$ und ${}{\mathcal {G}}$ auf einem topologischen Raum ${}X$

ist die Zuordnung

$U\longmapsto \operatorname {Mor} {\left({\mathcal {F}}{|}_{U},{\mathcal {G}}{|}_{U}\right)}$

selbst eine Garbe.

Zum Beweis, Alternativen Beweis erstellen