Abstract
We introduce Hopf polyads in order to unify Hopf monads and group actions on monoidal categories. A polyad is a lax functor from a small category (its source) to the bicategory of categories, and a Hopf polyad is a comonoidal polyad whose fusion operators are invertible. The main result states that the normalization of a Hopf polyad is a strong (co)monoidal action-type polyad (or strong monoidal pseudofunctor). The normalization of a polyad is a new polyad having simpler structure but the same category of modules. We show that, under certain assumptions, a Hopf polyad can be ‘wrapped up’ into a Hopf monad. This generalizes the fact that finite group actions on tensor categories can be seen as Hopf monads. Hopf categories in the sense of Batista, Caenepeel and Vercruysse can be viewed as Hopf polyads in a braided setting via the notion of Hopf polyalgebras. As a special case of the main theorem, we generalize a description of the center of graded fusion category due to Turaev and Virelizier to tensor categories: if \(\mathcal {C}\) is a G-graded (locally bounded) tensor category, then G acts on the relative center of \(\mathcal {C}\) with respect to the degree one part \(\mathcal {C}_{1}\), and the equivariantization of this action is the center of \(\mathcal {C}\).
Similar content being viewed by others
References
Barr, M., Wells, Ch.: Toposes, Triples and Theories. Springer. republished in: Repr. Theory Appl. Categ. 12 (2005), 1–287 (1985)
Batista, E., Caenepeel, S., Vercruysse, J.: Hopf categories. J. Algebr. Represent Theor. doi:10.1007/s10468-016-9615-6 (2016)
Bénabou, J.: Introduction to bicategories. In: Reports of the Midwest Category Seminar, pp. 1–77. Springer, Berlin (1967)
Bruguières, A., Natale, S.: Exact sequences of tensor categories. Int. Math. Res. Notices 24, 5644–5705 (2011)
Bruguières, A., Natale, S.: Central exact sequences of tensor categories, equivariantization and applications. J. Math. Soc. Japan 66(1), 257–287 (2014)
Bruguières, A., Virelizier, A.: Hopf monads. Adv. Math. 215, 679–733 (2007)
Bruguières, A., Virelizier, A.: Quantum double of Hopf monads and categorical centers. Trans. Amer. Math. Soc. 364, 1225–1279 (2012)
Bruguières, A., Lack, S., Virelizier, A.: Hopf monads on monoidal categories. Adv. Math. 227, 745–800 (2011)
Day, B., Street, R.: Centres of monoidal categories of functors. Categories in Algebra, Geometry and Mathematical Physics, Contemporary Mathematics (2007)
McCrudden, P.: Opmonoidal monads. Theory Appl. Categ. 10, 469–485 (2002)
Moerdijk, I.: Monads on tensor categories. J. Pure Appl. Algebra 168(2–3), 189–208 (2002)
Street, R.: Two constructions on lax functors. Cahiers dTopologie Géom. Différentielle 13, 217–264 (1972)
Tambara, D.: Invariants and semi-direct products for finite group actions on tensor categories. J. Math. Soc. Japan 53, 429–456 (2001)
Turaev, V., Virelizier, A.: On two approaches to 3-dimensional TQFTs. arXiv:1006.3501 (2010)
Turaev, V., Virelizier, A.: On the graded center of graded categories. J. Pure Appl. Algebra 217, 1895–1941 (2013)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Susan Montgomery.
Rights and permissions
About this article
Cite this article
Bruguières, A. Hopf Polyads. Algebr Represent Theor 20, 1151–1188 (2017). https://doi.org/10.1007/s10468-017-9681-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10468-017-9681-4