Category Theory for Programmers

Categorical structures occur in programming languages on different levels: (1) within programming languages, providing design principles and guidance on how to write modular and correct-by-design programmes (as demonstrated in the practical programming language Haskell) and (2) in the design and study of programming languages, as a guiding meta-theory. In particular, category theory provides a mathematical justification for recursion schemes for inductive datatypes. This course aims to provide solid foundations on both (1) and (2).