>>150の前に次の定義をするべきだった。

定義
C をアーベル圏(過去スレ019の533)とする。
X を C の対象とし (Y, m) を X の部分対象(過去スレ018の646)とする。
このとき Coker(m) を X/Y と書く。