Symmetric monoidal category
= Symmetric monoidal category
{wiki}
A symmetric monoidal category has a tensor product, unit object, coherent associativity and unit isomorphisms, and a coherent symmetry $A\otimes B\cong B\otimes A$.
= Symmetric monoidal category
{wiki}
A symmetric monoidal category has a tensor product, unit object, coherent associativity and unit isomorphisms, and a coherent symmetry $A\otimes B\cong B\otimes A$.