例
Ab をアーベル群全体の圏とする。
I を小さい集合(過去スレ017の321)とし、(X_i), i ∈ I を Ab の対象の族とする。
直和 ΣX_i は Ab における余積(>>35)である。