Autonomous categories - Barr, Michael 1937- (Springer, 1964)