記法
P = (μ_i：X_i → X)_I を (X_i)_I の余積(>>35)とする。
X を Σ(X_i)_I または ΣX_i と書く。
P を (μ_j：X_j → Σ(X_i)_I)_I または (μ_j：X_j → ΣX_i)_Iと書く。
μ_j を入射(injection)または標準単射と呼ぶ。

I が有限集合 {1, ..., n} のときは
ΣX_i を (X_1)＋．．．＋(X_n) とも書く。