Abelian categories - Freyd Peter (1964)
Keywords: Maths for computer science