2000 character limit reached
Diagrammatics for Comodule Monads (2312.13074v2)
Published 20 Dec 2023 in math.CT and math.QA
Abstract: We extend Willerton's 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.