Short exact sequence of sheaves (source code)

= Short exact sequence of sheaves

A sequence $0\to\mathcal F'\to\mathcal F\to\mathcal F''\to0$ of sheaves is exact exactly when the induced sequence on every stalk is exact.