Surjective morphism of sheaves
ID: surjective-morphism-of-sheaves
A morphism of sheaves of modules is surjective when the induced map on every stalk is onto. Equivalently every target section can locally be lifted. It need not be onto on global sections; the long exact sequence in sheaf cohomology describes that obstruction.
New to topics? Read the docs here!