Categories for AI 5: Monoids, Monads, Mappings, and lstMs - by Andrew Dudzik

Motivated by the recent emergence of category theory in machine learning, we teach a course on its philosophy, applications and outlook from the perspective of machine learning!

In this fifth seminar, you will:
- Know several useful basic monads
- Be familiar with different equivalent descriptions of monads, including the Kleisli and Eilenberg-Moore categories
- Understand how monoids formalize recurrence and aggregation
- Finally laugh at the in-joke about monads and monoids