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