Adjunctions between Eilenberg-Moore categories and a PBW-type theorem
Recently, Dotsenko and Tamaroff have shown that a morphism of of monads over a category satisfies the PBW-property if and only if it makes into a free right -module. We consider an adjunction between categories , , a monad on and a monad on . We show that a morphism that is well behaved with respect to the adjunction has a PBW-property if and only if it makes satisfy a certain freeness condition with respect to -modules with values in .