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

by P Freyd