Prägarbe/Homomorphismus/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Prägarben-Homomorphismus

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

ist eine Familie von Abbildungen

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

kommutiert.