Diagrammatics for Comodule Monads
arXiv:2312.13074 · doi:10.1007/s10485-024-09778-9
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.
15 pages, 35 figures; expanded standalone version of section 5 of arXiv:2201.05361v1