BM Category Theory 10.1: Monads

Math Online Tom Circle


$latex begin{array}{|l|l|l|}
Analogy & Compose & Identity
Function & : : : : “.” & : : : : Id
Monad & ” >> = ” (bind) & return :: “eta”

Imperative (with side effects eg. state, I/O, exception ) to Pure function by hiding or embellishment in Pure function but return “embellished” result.

Monad = functor T + 2 natural transformations

$latex boxed {text {Monad} = {T , eta , mu} }&fg=aa0000&s=3$

$latex eta :: Id dotto T$
$latex mu :: T^{2} dotto T$
$latex text {Natural Transformation : } dotto $,_applicatives,_and_monads_in_pictures.html#functors

View original post


About tomcircle

Math amateur
This entry was posted in math. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.