Autonomous categories - Barr, Michael (Lecture Notes in Mathematics, 752, 1979)