Categories for the lazy functional programmer

Basic course for MGS 2022

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: Tue Apr 12 15:59:53 BST 2022