Topologischer Raum/Topologische Gruppe/Prägarbe/Beispiel

Zu einem topologischen Raum ${}X$ ist die Mengen der stetigen Abbildungen von ${}X$ in eine topologische Gruppe ${}G$ mit der natürlichen Verknüpfung selbst eine Gruppe. Die Einschränkung auf eine offene Teilmenge von ${}X$ ist dabei ein Gruppenhomomorphismus. Daher ist die Zuordnung

$U\mapsto C^{0}(U,G)$

eine Prägarbe von Gruppen auf ${}X$.