bn:03105840n
Noun Concept
PT
No term available
EN
In mathematics, a *-autonomous category C is a symmetric monoidal closed category equipped with a dualizing object ⊥ {\displaystyle \bot }. Wikipedia
Relations
Sources