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