Prägarbe/Definition

Prägarbe

Es sei ${}X$ ein topologischer Raum. Unter einer Prägarbe ${}{\mathcal {F}}$ auf ${}X$ versteht man eine Zuordnung, die jeder offenen Menge ${}U\subseteq X$ eine Menge ${}{\mathcal {F}}{\left(U\right)}$ und zu je zwei offenen Mengen ${}U\subseteq V$ eine Abbildung

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

zuordnet, wobei diese Zuordnung die beiden folgenden Bedingungen erfüllen muss.

1. Zu ${}U=V$ ist

   ${}\rho _{U,U}=\operatorname {Id} _{{\mathcal {F}}{\left(U\right)}}\,.$

2. Zu offenen Mengen

   ${}U\subseteq V\subseteq W\,$

   ist stets

   ${}\rho _{W,U}=\rho _{V,U}\circ \rho _{W,V}\,.$