On Fri, Mar 16, 2007 at 03:00:26PM +0000, Dominic Steinitz wrote: > An adjunction gives rise to at least two monads (Kleisli and > Eilenberg-Moore) so I think it is important to state what the natural > transformations are.
Each adjunction gives rise to one monad; it's the reverse direction (factoring a monad as an adjunction from which the monad arises) for which Kleisli and Eilenberg-Moore are the extremal choices. (Not that this bears on the point you were making.) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe