Category Theory For Beginners: Monads

Also, see my previous video

for more background on monoidal categories

[charc]

Richard, I don't know how you don't have a million subscribers. You are an absolutely extraordinary teacher. Every superlative in the book deserves to be thrown at you. Thank you, thank you for doing these videos. If only you knew how grateful your subscribers are to you.

[rnoro]

This is apparently the best video on the interaction between category theory and functional programming on Youtube!

[xyzct]

I'm working my way through your lectures, so I shall look forward to this one! Thank you for such a wonderful gift!

[petershook]

This video is a gem. Thanks for taking the time to explain these fundamental concepts in detail.

[deathvally]

You are the best . Glad I discovered your channel.

[hybmnzz]

A monad is a monoid in the category of endofunctors

[jeffreyhowarth]

(T(X)) and (T(T(X))) are parentheses around Monads. Is this the wrap talked about in Monad literature? And are Monads nested?

[the_allucinator]

That singleton in Maybe Monad works like the Bottom in Wheel Algebra.