余等化子
余等化子は二つの対象 X, Y と二つの平行射 f, g: X → Y からなる図式の余極限である。より明示的に書けば、余等化子は対象 Q と射 q: Y → Q で q ∘ f = q ∘ g を満たすものの組として定義することができる。さらに言えば、対 (Q, q) は、同じ性質を持つ別の対 (Q', q') が与えられたとき、以下の図式
を可換とする射 u: Q → Q' が一意に存在するという意味での普遍性を持たなければならない。全ての普遍構成がそうである通り、余等化子は存在すれば同型を除いて一意である(それがゆえに、与えられた平行射の単に (the) 余等化子と呼ぶことに混乱の虞は無い)。
余等化子 q が任意の圏において全型射であることを示すことができる。