Category Theory, Monads, and Computation

• Official homepage (with schedule)

Description

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.

Keywords

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

Prerequisites

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

Contents

See official homepage.

Teacher

Khalil Ghorbal