核と余核 前回、差核と双対差核を定義しました。ところで、零対象が存在する圏においては、任意の二つの対象間に零射を定義することができました。これを用いて、射 に対して、 を核(kernel)、 を余核(cokernel)と言います。 ところで、圏 には零対象が存在…