Midlands Graduate School
This course will provide a short introduction to category theory. It
will assume some basic undergraduate mathematics (groups, algebra,
orders) and computer science (syntax, basic programming, types) that
will be used to give examples. I will cover categories, functors,
natural transformations, products and coproducts, and adjunctions. I
hope to present some additional material but that will depend on the
time available. There are four case studies focusing on the Yoneda
Lemma, cartesian closed categories, Haskell datatypes as initial
algebras, and using colimits to build initial algebras.
