[Haskell-cafe] Laws in category theory..

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