<-- Go Back Last Updated: 10/06/2025
Given an arrow \(f:X\to Y\) in an additive category \(\mathcal{A}\), its image is the kernel of its cokernel, while its coimage is the cokernel of its kernel - in an abelian category these two objects are isomorphic.