The fundamental theorem for weak braided bimonads (Q2401708)

The central objects of study are \textit{weak braided bimonads} and \textit{weak braided Hopf monads} which are, by definition, weak braided bialgebras, respectively, weak braided Hopf algebras in the monoidal category of endofunctors on an arbitrary category, in the sense of \textit{J. N. Alonso Álvarez} et al. [Indiana Univ. Math. J. 57, No. 5, 2423--2458 (2008; Zbl 1165.16021)] (but note some regrettable typos in Definition 5.2: conditions (3) and (4) on \(\tau\) should also be required for \(\tau'\)). This means endofunctors on arbitrary categories with compatible monad and comonad structures (what should not be confused with monads on monoidal categories with compatible opmonoidal structures in [\textit{I. Moerdijk}, J. Pure Appl. Algebra 168, No. 2--3, 189--208 (2002; Zbl 0996.18005)] and its follow-up papers). The main result is the \textit{fundamental theorem of Hopf modules} which formulates sufficient and necessary conditions on a weak braided bimonad to be Hopf, in terms of the comparison functor between the base category and a category of suitably defined Hopf modules. In the particular setting considered, it is stronger then the fundamental theorem of Hopf modules due to Alonso Álvarez et al. [loc. cit.]. The proof is based on a Dubuc-Beck type analysis of monadicity.