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.