Let \mathcal A be a pre-abelian category. A morphism f is a kernel (a cokernel) if there exists a morphism g such that f is a kernel (cokernel) of g. The category \mathcal A is quasi-abelian if for every kernel f: X\rightarrow Y and every morphism h: X\rightarrow Z in the pushout diagram
