braided monoidal category

monoidal category where A ⊗ B is equivalent to B ⊗ A, generalized so the maps may not be inverses