*- Autonomous Categories door M. Barr