On generalized symmetries and structure of modular categories (Q1729957)

All Hopf monads considered in this paper are semisimple linear, so that their module categories are fusion. Furthermore, for concrete computations, the authors work with what they call ``skeletal'' version of a Hopf monad, a presentation as solutions of polynomial equations. When the category $\mathcal{C}$ is a category of $G$-graded vector spaces, a Hopf monad on $\mathcal{C}$ is completely determined by a Hopf algebra in $\mathcal{C}$; explicit Hopf algebras in $\mathcal{C}$ are built for $G=\mathbb{Z}_p$ with $p\in \{2, 3\}$. Hopf monads from condensation are presented as well. The authors outline also a program based on Hopf symmetry (Hopf monad of a fusion category $\mathcal{C}$) for category symmetries (pairs $(\mathcal{F}, \rho)$ consisting of of a fusion category $\mathcal{F}$ and a tensor functor $\rho: \mathcal{F}\rightarrow \mathcal{C}$) which seeks to generalize extension and gauging group symmetries. The paper ends with an Appendix which has as main goal the computation of the monoidal category given by the bimodules of $\text{Vect}\mathbb{Z}_2$, the category of $\mathbb{Z}_2$-graded vector spaces.