例
Grp を群全体の圏(過去スレ017の342)とする。
I を小さい集合(過去スレ017の321)とする。
(G_i)_I を Grp の対象の族とする。
(G_i)_I の自由積は Grp における余積(>>35)である。
自由積の定義とこの事実の証明は今は行わない。