Eine abelsche Kategorie A {\displaystyle {}{\mathcal {A}}} erfüllt die Eigenschaft ( A B 5 ) {\displaystyle {}(AB5)} , wenn in ihr beliebige Kolimiten exakt sind.
erfüllt die Eigenschaft 
, wenn in ihr beliebige
Kolimiten
exakt
sind.
