being a monad on some object in a 2-category can be expressed in Haskell by
We have the following translation of Haskell and category theoretical language?:
Then from the category theoretical properties of we obtain (mixing the two languages)
And with the following definitions
or alternatively
one can verify that the two given definitions of a monad are equivalent.
category theory/monads, haskellwiki, wiki
Created on June 16, 2012 at 21:48:49. See the history of this page for a list of all contributions to it.