[Haskell-cafe] Re: N and R are categories, no?
ross at soi.city.ac.uk
Fri Mar 16 11:24:15 EDT 2007
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.)
More information about the Haskell-Cafe