symmetric monoidal category
A monoidal category with tensor product is said to be symmetric if for every pair of objects in , there is an isomorphism
that is natural in both and such that the following diagrams are commutative
-
1.
(unit coherence for ):