Exact Sequence

A sequence of objects and morphisms ...A → B → C... in an additive or abelian category (or any category with kernels and images) such that at each object the image of the incoming map equals the kernel of the outgoing map; exactness encodes precise algebraic relationships.