When the exact completion of a category with weak finite limits is a Mal'cev category, it is possible to combine the universal property of the exact completion and the universal property of the coequalizer completion. We use this fact to explain Freyd's representation theorems in abelian and Frobenius categories.
Homology, Homotopy and Applications, Vol. 3(3), 2001, pp. 453-466
Available as: dvi dvi.gz ps ps.gz pdf