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