[Haskell-cafe] Re: N and R are categories, no?

[Ross Paterson]

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.)