Title: Lifting Coalgebra Modalities
Abstract: In this talk we will look at lifting coalgebra modalities (both monoidal and non-monoidal) to Eilenberg-Moore categories of suitable monads. In particular we introduced mixed distributive laws of monads over coalgebra modalities. We will also see how every monoid in the co-Eilenberg-Moore category of a monoidal coalgebra modality induces these mixed distributive laws.