差核と双対差核 圏 の対象 と、射 を固定します。このとき が で なるものが存在すれば、 で を満たすものが一意的に存在する の二つの条件を満たすとき、 と の差核(difference kernel)または等化(equalizer)であると言います。 またこのとき、対象 のこと…