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