Prägarbe/Homomorphismus/Halm/Fakt

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.