พจนานุกรม

を満たすものが与えられたとき、射 u: O → E で図式 を可換にする（すなわち eq ∘ u = m を満たす）ものが一意的に存在（英語版）する」を満足するものを言う。射 m: O → X は f ∘ m = g ∘ m を満たすとき、f と g を等化する (equalise) という。 差核