Monads look pretty different in math vs in programming... what exactly are they? (Don't say they're just monoids in the category of endofunctors,... I mean it.)
______________
Timestamps:
00:00 - Introduction
00:40 - What is a monad?
01:48 - What is a monad to a functional programmer?
03:28 - The state monad
04:39 - The maybe monad
05:22 - Recipe for a monad
06:21 - What is a monad to a category theorist?
07:21 - The "linear algebra" monad
08:35 - Monad unit and multiplication
09:24 - Monad algebras
10:27 - Reconciling the two notions of a monad
11:26 - Kleisli category
11:44 - Eilenberg-Moore category
12:30 - Monad "bind"
13:34 - Thx 4 watching
