Equivariant monads and equivariant lifts versus a 2-category of distributive laws

Zoran Škoda

Fix a monoidal category C. The 2-category of monads in the 2-category of C-actegories, colax C-equivarant functors, and C-equivariant natural transformations of colax functors, may…