Dies beruht darauf, dass M ~ {\displaystyle {}{\widetilde {M}}} als Vergarbung zur Prägarbe U ↦ colim U ⊆ D ( f ) M f {\displaystyle {}U\mapsto \operatorname {colim} _{U\subseteq D(f)}\,M_{f}} definiert wird und die Modulstruktur sich auf die Vergarbung vererbt.
