2
$\begingroup$

In the following question: Equivalent conditions for a preabelian category to be abelian. How is the converse easily shown? I see why every monomorphism, f, is the kernel of the cokernel of f, but why is every epimorphism, f, the cokernel of the kernel of f?

$\endgroup$
2
$\begingroup$

The kernel of a monomorphism is zero in any pointed category, so the coimage of a mono is the identity. The image is the kernel of the cokernel, so if coimage and image are isomorphic then the map from the domain to the coimage makes the domain a kernel. Dually, we see every dpi is a cokernel.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.