Garbenhomomorphismus/Surjektiv/Definition

Surjektiver Garbenmorphismus

Ein Garbenmorphismus ${}\varphi \colon {\mathcal {F}}\rightarrow {\mathcal {G}}$ zwischen Garben auf einem topologischer Raum ${}X$ heißt surjektiv, wenn für jeden Punkt ${}P\in X$ die Halmabbildung

\varphi _{P}\colon {\mathcal {F}}_{P}\longrightarrow {\mathcal {G}}_{P}