Prägarbe/Homomorphismus/Definition

Prägarben-Morphismus

Es seien und Prägarben auf einem topologischen Raum . Ein Morphismus von Prägarben

ist eine Familie von Abbildungen

für jede offene Menge derart, dass zu jeder offenen Inklusion das Diagramm

kommutiert.