Spektrum/Strukturgarbe/Garbe/Fakt/Beweis

Beweis

Die angegebene Definition ist einfach die Vergarbung der in Beispiel beschriebenen Prägarbe, wobei wir lediglich die Verträglichkeitsbedingung statt mit beliebigen offenen Umgebungen mit den Basisumgebungen formuliert haben.