Symmetric monoidal category

Monoidal category where A ⊗ B is naturally equivalent to B ⊗ A

In category theory, a branch of mathematics, a symmetric monoidal category is a monoidal category such that the tensor product is symmetric. One of the prototypical examples of a symmetric monoidal category is the category of vector spaces over some fixed field k, using the ordinary tensor product of vector spaces.

This keyword could refer to multiple things. Here are some suggestions: