Autonomous categories, LNM 752 (1979)

by M Barr
Venue:Math Structures in Comp. Sci