A natural definition for Ext is
given in an arbitrary pre-abelian category. Ext is an additive bifunctor from the
category to abelian groups, the five lemma and the 3 × 3 lemma hold, and Extn may
be defined in the usual projectiveless way to yield the standard exact sequence
of Ext’s. Examples are given of what Ext is in various specific pre-abelian
categories.