定義
P = (μ_i：X_i → X)_I を吸い込み(>>16)とする。
任意の吸い込み S = (f_i：X_i → Y)_I に対して射 f：X → Y で
S = fP (>>17)となるものが一意に存在するとき P を余積(coproduct)と言う。
P は族 (X_i)_I の余積とも言う。