Garbe/Gruppen/Komplex/Definition

Garbenkomplex

Es sei $X$ ein topologischer Raum, es seien ${ℱ}_n$ Garben von kommutativen Gruppen auf $X$ und es seien ${\phi }_n:{ℱ}_{n-1}\to {ℱ}_n$ Homomorphismen. Man sagt, dass ein Garbenkomplex vorliegt, wenn

$\mathrm{bild}{\phi }_n\subseteq \mathrm{kern}{\phi }_{n+1}$

gilt.