Prägarbe/Punkt/Halm/Definition

Halm einer Prägarbe

Zu einer Prägarbe ${}{\mathcal {F}}$ auf einem topologischen Raum ${}X$ und einem Punkt ${}P\in X$ nennt man

${}{\mathcal {F}}_{P}:=\operatorname {colim} \,_{P\in U}\Gamma {\left(U,{\mathcal {F}}\right)}\,$

den Halm der Prägarbe im Punkt ${}P$.