Beringter Raum/Modul/Definition

Modulgarbe

Eine Garbe $ℳ$ auf einem beringten Raum $(X,{𝒪}_X)$ heißt ${𝒪}_X$-Modul, wenn es für jede offene Menge  $U\subseteq X$  auf $\Gamma (U,ℳ)$ eine $\Gamma (U,{𝒪}_X)$-Modulstruktur gegeben ist, die mit den Restriktionsabbildungen zu  $U\subseteq V$  verträglich ist.