closed monoidal category
type of category in mathematics
cartesian closed category
Type of category in category theory
*-autonomous category
symmetric monoidal closed category equipped with a dualizing object
cosmos
complete, cocomplete symmetric closed monoidal category