16 Mar
2007
16 Mar
'07
11:24 a.m.
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.)