*-Autonomous categories - Barr, Michael (Lecture notes in mathematics ; ;, 1979)