定義
F：C → D を関手とする。
I を２個の対象 a, b と２個の射 u：a → b, v：a → b からなる
グラフ(過去スレ017の325)とする。
F が I 型の余極限を保存する(>>262)とき、
F は差余核(過去スレ017の850)を保存すると言う。