Topologischer Raum/Prägarbe/Ausbreitungsraum/Lokaler Homöomorphismus/Fakt
Der Ausbreitungsraum zu einer Prägarbe auf einem topologischen Raum
ist ein topologischer Raum und die Projektion
ist ein lokaler Homöomorphismus.
Der Ausbreitungsraum zu einer Prägarbe auf einem topologischen Raum
ist ein topologischer Raum und die Projektion
ist ein lokaler Homöomorphismus.