symmetric monoidal category
monoidal category where A ⊗ B is naturally equivalent to B ⊗ A
*-autonomous category
symmetric monoidal closed category equipped with a dualizing object
compact closed category
special kind of category with "dual objects"
monoidal category where A ⊗ B is naturally equivalent to B ⊗ A