A natural transformation λ: TS ⇒ ST satisfying compatibility with the units and multiplications of S and T. Yields a monad structure on ST lifting S to monads on the Eilenberg-Moore category of T. Beck's 1969 theorem. Analogue of…
A natural transformation λ: TS ⇒ ST satisfying compatibility with the units and multiplications of S and T. Yields a monad structure on ST lifting S to monads on the Eilenberg-Moore category of T. Beck's 1969 theorem. Analogue of…