例
Set を集合全体の圏(過去スレ017の342)とする。
I を小さい集合(過去スレ017の321)とする。
(X_i)_I を Set の対象の族とする。
余積 Σ(X_i)_I (>>41)は (X_i)_I の直和集合、即ち ∪(X_i)×{i} である。