Autonomous category

From Wikipedia, the free encyclopedia

In mathematics, an autonomous category is another term for a symmetric monoidal closed category.

This category theory-related article is a stub. You can help Wikipedia by expanding it.