定義
C を圏とする。
X を C の対象とする。
I を小さい集合(過去スレ017の321)とし
族 (X_i)_I を各 i に対して X_i = X となるものとする。
Σ(X_i)_I (過去スレ018の857)を X^(I) と書き X の I 余べき乗(I-th copower of X)
または略して X の I 余べきと呼ぶ。