Let $H$ be a cocommutative hopf algebra. Let $M$ be the category of $H$-bimodules. Does the category $M$ form a braided monoidal category with tensor product $\otimes_{H}$ ?
Braided monoidal category, example
ct.category-theoryhopf-algebrasmonoidal-categoriesbraided-tensor-categoriessymmetric-monoidal-categories
lun
- 71
- 9