C をアーベル圏（代数的整数論019の533）とする。
C が次の条件を満たすとき C は条件 Ab5 を満たすと言った（代数的整数論020の121）。

C は余完備（過去スレpart2の888）である。
I を任意の小さいフィルター圏（>>36）とする。
代数的整数論019の728より C^I （過去スレpart2の778）はアーベル圏である。
このとき、関手 colim：C^I → C は完全(代数的整数論019の661)である。