記法
P = (μ_i：X_i → X)_I を (X_i)_I の余積(>>35)とする。
S = (f_i：X_i → Y)_I を吸い込み(>>16)とする。
このとき射 f：X → Y で S = fP となるものが一意に存在する。
f を [f_i] と書く。

I が有限集合 {1, ．．．, n} のときは [f_i] を [f_1, ．．．, f_n] とも書く。