Topologischer Raum/Prägarbe/Ausbreitungsraum/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Ausbreitungsraum

Es sei eine Prägarbe auf einem topologischen Raum . Unter dem Ausbreitungsraum zu versteht man die Menge

zusammen mit der Projektion

die einem jeden Keim seinen Basispunkt zuordnet, und der Topologie, die durch die Basis

zu offenen Mengen und Schnitten definiert wird.