Homological algebra in pre-Abelian categories

We construct derived functors in additive categories in which each morphism has a kernel, co-kernel, image, and coimage, but the image and coimage are not necessarily isomorphic. We prove that these derived functors possess the usual properties. The main difficulty is that the $3\times3$-lemma does not necessarily hold in the categories under consideration.