In the book "Tensor Categories" by Etingof, Gelaki, Nikshych and Ostrik, the following is stated (Remark 7.8.26): "Note that in the categorical setting, we cannot, in general, define ($A,B$)-bimodules as modules over $A\otimes B^{op}$, since neither the opposite algebra nor the tensor product of algebras is defined in a general multitensor category."

Now my question is, what are the minimal requirements on a tensor category $\mathcal C$ to ensure an equivalence $A\mbox{-}\mathsf{Mod}\mbox{-}B(\mathcal C) \simeq (A\otimes B^{op})\mbox{-}\mathsf{Mod}(\mathcal C)$ of module categories, i.e. when are opposite algebras and the tensor product of algebras defined?

  • 3
    $\begingroup$ To take opposite algebras you need a braided monoidal structure. I think this is also enough to define an algebra structure on the tensor product of algebras. $\endgroup$ – Qiaochu Yuan Mar 7 '17 at 19:16
  • 2
    $\begingroup$ See remark: 4.2 (12 in arXiv version) in V. Ostrik, Module categories, weak Hopf algebras and modular invariants, math.QA/0111139. $\endgroup$ – Marcel Bischoff Mar 8 '17 at 2:10

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.