 Symmetric monoidal category

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$.