Abelian categories An introduction to the theory of functors. - Freyd Peter (1964)