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