Eine abelsche Kategorie A {\displaystyle {}{\mathcal {A}}} erfüllt die Eigenschaft ( A B 4 ) {\displaystyle {}(AB4)} , wenn in ihr beliebige direkte Summen exakt sind.
