Key points are not available for this paper at this time.
Abstract We extend Willerton’s 24 graphical calculus for bimonads to comodule monads, a monadic interpretation of module categories over a monoidal category. As an application, we prove a version of Tannaka–Krein duality for these structures.
Halbig et al. (Thu,) studied this question.