Hopf (bi-)modules and crossed modules in braided monoidal categories (Q1380030)

Let \(\mathcal C\) be a braided monoidal category which admits split idempotents. If \(H\) is a Hopf algebra in \(\mathcal C\), it is shown that the category of \(H\)-Hopf modules is braided, and moreover, it is braided monoidal equivalent to \(\mathcal C\). In the case where \(\mathcal C\) is the category of vector spaces over a field, this is just Sweedler's fundamental theorem of Hopf modules. Similarly, a structure theorem is proved for categories of two-fold Hopf modules. If the antipode of \(H\) is an isomorphism, it is proved that the category of \(H\)-crossed modules and the category of \(H\)-Hopf bimodules are braided monoidal categories, and that they are braided monoidal equivalent. Bialgebra projections, Hopf bimodule bialgebras and reconstruction via cross product are discussed. The results of this paper are generalizations of results known for the case where \(\mathcal C\) is a category of vector spaces. The method of proof is inspired from this case, and uses graphical presentation of the (co)multiplication, (co)unit, antipode, braiding, and Hopf algebra properties, instead of classical algebra notation and sigma notation.