Autonomous category
From Wikipedia, the free encyclopedia
In mathematics, an autonomous category is another term for a symmetric monoidal closed category.
In mathematics, an autonomous category is another term for a symmetric monoidal closed category.