# newbie

**Steinitz, Dominic J
**
Dominic.J.Steinitz@BritishAirways.com

*12 Mar 2001 11:43:23 Z*

Monads in Haskell use the Kleisli triple definition which is equivalent to the two natural transformations and functor definition (with the appropriate laws) - see Algebraic Theories by Manes. When using the do notation you are effectively working in the Kleisli category generated by the monad.
Dominic.
edrx@inx.com.br on 10/03/2001 10:13:00
To: haskell
cc:
bcc: Dominic Steinitz
Subject: Re: newbie
Frank Atanassow wrote:
>* G Murali wrote (on 09-03-01 00:43 +0000):
*>* > I'm new to this monads stuff.. can you tell me what it is simply ?
*>* > an example would be highly appreciated.. i want it is very very
*>* > simple terms please..
*>*
*>* A monad on category C is a monoid in the category of endofunctors on C.
*>*
*>* Is that simple enough? ;)
*>*
*>* No? Then see "Using Monads" at http://haskell.org/bookshelf/
*>*
*>* (Sorry, I just couldn't resist!)
*
Uh-oh. I'm a junior categorist and toposopher and I confess that all
my few attempts to understand what Haskell's monads have to do with
the categorical notion of a monad have failed more or less miserably.
Can someone point me to a relevant paper, or give a quick explanation?
Thanks in advance, and sorry for the dumb question,
Eduardo Ochs
http://angg.twu.net/
edrx@inx.com.br
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
-------------------------------------------------------------------------------------------------
21st century air travel http://www.britishairways.com