Prägarbe/Homomorphismus/Halm/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Ein Morphismus von Prägarben

auf einem topologischen Raum

definiert für jeden Punkt eine Abbildung

zwischen den Halmen, die mit den Restriktionsabbildungen verträglich sind.

Das heißt, dass zu die Diagramme

kommutativ sind.

Zum Beweis, Alternativen Beweis erstellen