余積
圏 C の二つの対象 X1, X2 に対し、それら二つの対象の余積 X1 ∐ X2(または X1 ⊕ X2 あるいは単に X1 + X2 と書くこともある)とは、二つの射 i1: X1 → X1 ∐ X2 および i2: X2 → X1 ∐ X2 が存在して、以下の普遍性を満足する: