Abelian Categories, an Introduction to the Theory of Functors (1964)

by P Freyd