*-autonomous category

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (March 2023) (Learn how and when to remove this message)

In mathematics, a *-autonomous (read "star-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.