(category theory) For a category with zero morphisms: the coequalizer between a given morphism and the zero morphism which is parallel to that given morphism.
cokernel
アベリアン圏において、射fと零射との共等化子（余核）は、終域を射fの像で割った商を与える。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
