Eine abelsche Kategorie A {\displaystyle {}{\mathcal {A}}} erfüllt die Eigenschaft ( A B 3 ∗ ) {\displaystyle {}(AB3^{*})} , wenn in ihr alle Limiten existieren.
erfüllt die Eigenschaft 
, wenn in ihr alle
Limiten
existieren.
