Eilenberg-Watts theorem for 2-categories and quasi-monoidal structures for module categories over bialgebroid categories (Q272999)

In this paper the author introduces, for a finite tensor category \(\mathcal{C}\), a bialgebroid category \(\mathcal{A}\) over \(\mathcal{C}\) as a \(\mathcal{C}\)-bimodule category which is monoidal and \(\mathcal{C}\)-comonoidal with certain compatibility conditions. Then, when \(\mathcal{C}\) and \(\mathcal{A}\) are symmetric, he introduces a cohomology over \(\mathcal{A}\) which turns out to be a generalization of the one developed by himself in a previous paper and, moreover, he shows in this setting an infinite exact sequence a la Villamayor-Zelinski. The middle cohomology group in the third level of this sequence is interpreted by considering quasi-monoidal structures on the bicategory of representations \(\mathcal{A}\)-Mod and, with the purpose of generating these quasi-monoidal structures, an Eilenberg-Watts-type theorem, for 2-categories of the representation categories \(\mathcal{C}\)-Mod, is proved. For a consequence, any autoequivalence of \(\mathcal{C}\)-Mod is given by tensoring with a representative of some class in the Brauer-Picard group of \(\mathcal{C}\), the group of equivalence classes of exact invertible module categories over \(\mathcal{C}\).