余積
余積の定義は適当な添字集合 J で添字付けられた任意の対象の族に対して拡張できる。族 {Xj : j ∈ J} の余積とは、対象 X と射の族 ij: Xj → X との組であって、以下の普遍性を満足するものをいう: