Topologischer Raum/Prägarbe/Ausbreitungsraum/Lokaler Homöomorphismus/Fakt

Der Ausbreitungsraum ${𝒢}^{\mathrm{et}}$ zu einer Prägarbe $𝒢$ auf einem topologischen Raum $X$

ist ein topologischer Raum und die Projektion

$p:{𝒢}^{\mathrm{et}}⟶X$

ist ein lokaler Homöomorphismus.

Zum Beweis, Alternativen Beweis erstellen