Topologischer Raum/Prägarbe/Ausbreitungsraum/Definition

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, versehen mit der Topologie, die durch die Basis

zu offenen Mengen und Schnitten definiert wird.