In mathematics, a *-autonomous (read "star-autonomous") category 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.
In mathematics, a *-autonomous (read "star-autonomous") category 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.
Source: Wikipedia "*-autonomous category" · CC BY-SA 4.0
Share this article: X · Bluesky