Categories for the lazy functional programmer

Basic course for MGS 2024

Thorsten Altenkirch (University of Nottingham)

The course is an introduction to category theory emphasizing applications in computer science, especially functional programming, from a type theoretic perspective. We cover the basic concepts of category theory: categories, duality, functors and natural transformations, adjunctions, the Yoneda lemma, products and coproducts, cartesian closed categories, initial algebras and terminal coalgebras, limits and colimits, monads and comonads.

Lecture notes


Last modified: Thu Apr 11 09:22:45 BST 2024