I have been thinking about the following laws of a
monad. o is composition.
# associative law of a monad
mu o (mu o T) == mu o (T o mu)
The notation: Tmu, that's the same as T o mu, right?
How do I relate this to
x*(y*z) == (x*y)*z ?
# the identity law of a monad
mu o (T o eta) =={id}_\mathcal{C}= mu o (eta o T)
I also don't understand why I can't create the
following law out of the assocaitive law:
(mu o T) == (T o mu)
, bacause the first part of the expression is the
same.
Please, enlighten me :)
Regards, Ron
__________________________________
Do you Yahoo!?
New and Improved Yahoo! Mail - 100MB free storage!
http://promotions.yahoo.com/new_mail
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
