Exact sequence in an abelian category (source code)

= Exact sequence in an abelian category

= Exact sequences in an abelian category
{synonym}

A sequence is exact at an object when the image of the incoming morphism equals the kernel of the outgoing morphism. It is exact when this holds everywhere.