Spektrum/Prägarbe/Beispiel

Es sei das Spektrum eines kommutativen Ringes . Darauf definiert man eine Prägarbe von kommutativen Ringen, indem man zu einer offenen Menge die Festlegung

macht, mit den natürlichen Ringhomomorphismen zu . Dies ist mit den natürlichen Ringhomomorphismen eine Prägarbe. Dabei ist und insbesondere , da das gerichtete System das finale Objekt enthält. Der Halm dieser Prägarbe in einem Punkt ist