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}$

surjektiv ist.