*-Autonomous categories - Barr Michael (Berlin Springer-Verlag, 1979)
Keywords: Categories