All Subjects
Light
10.1
Definition and examples of monads
10.2
Algebras for a monad
10.3
The Eilenberg-Moore category
10.4
Kleisli category and free algebras