Es seien C ∙ {\displaystyle {}C_{\bullet }} , D ∙ {\displaystyle {}D_{\bullet }} und E ∙ {\displaystyle {}E_{\bullet }} Komplexe in einer abelschen Kategorie mit Homomorphismen von Komplexen φ : C ∙ → D ∙ {\displaystyle {}\varphi \colon C_{\bullet }\rightarrow D_{\bullet }} und ψ : D ∙ → E ∙ {\displaystyle {}\psi \colon D_{\bullet }\rightarrow E_{\bullet }} derart, dass kurze exake Sequenzen
für jedes n {\displaystyle {}n} vorliegen.
Dann gibt es einen natürlichen Homomorphismus