English *-autonomous category Cited by user 163.1.88.6 on 30 Aug 2017 In mathematics, a *-autonomous (read "star-autonomous") category C is a symmetric monoidal closed category equipped with a dualizing object