*- Autonomous Categories by M. Barr