Exactness of short complexes in concrete abelian categories #
If an additive concrete category
C has an additive forgetful functor to
which preserves homology, then a short complex
C is exact
if and only if it is so after applying the functor
forget₂ C Ab.
This lemma allows the computation of the connecting homomorphism
D : SnakeInput C and
C is a concrete category.