Diagram of a short exact sequence; actually the diagram suggests a model thereof in category (or any category that has a forgetful functor to ). Function i is an injection and function s a surjection. Function c is constant. The image equals A’, and C is isomorphic to the quotient B modulo A’.