*-autonomous category

symmetric monoidal closed category equipped with a dualizing object

Categories: