Supported by the National Natural Science Foundation of China(No.11601486);Foundation of Zhejiang Educational Commitee(No.Y201738645);Project of Zhejiang College,Shanghai University of Finance and Economics(No.2018YJYB01).
We investigate how the category of comodules of bimonads can be made into a monoidal category.It suffices that the monad and comonad in question are bimonads,with some extra compatibility relation.On a monoidal catego...