Category Theory, Monads, and Computation


The main objective of this course is to introduce a different, yet very rich and powerful, point of view to several constructs and structures the students have already seen. After presenting the basics of category theory, we will investigate the concept of monads in both its theoretical roots and practical use in programming languages. We hope that this course serves as an invitation for master students to enrich their toolbox with open-mindedness, elegance and curiosity.


Category Theory, Monads, Semantics, Functional Programming, Computation, λ-calculus


Licence in mathematics or theoretical computer science or equivalent degree. Functional programming, semantics, programming languages theory, logic.


See official homepage.


Khalil Ghorbal