1 Answers
In mathematics, a *-autonomous category C is a symmetric monoidal closed category equipped with a dualizing object ⊥ {\displaystyle \bot }. The concept is also referred to as Grothendieck—Verdier category in view of its relation to the notion of Verdier duality.
4 views
Answered