Prägarbe/Gruppe/Definition

Prägarbe von Gruppen

Eine Prägarbe ${}{\mathcal {F}}$ auf einem topologischen Raum ${}X$ heißt Prägarbe von Gruppen, wenn zu jeder offenen Menge ${}U\subseteq X$ die Menge ${}{\mathcal {F}}{\left(U\right)}$ eine Gruppe und zu jeder Inklusion ${}U\subseteq V$ die Restriktionsabbildung

$\rho _{V,U}\colon {\mathcal {F}}{\left(V\right)}\longrightarrow {\mathcal {F}}{\left(U\right)}$

ein Gruppenhomomorphismus ist.