## ABOUT |

## Midlands Graduate School## Category Theory Lectures 2015This 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. Since the course will consist of just five lectures, we will concentrate on illustrative examples and a simple case study rather more than underlying theory. We will cover categories, functors, natural transformations, products and coproducts, adjunctions, colimits and algebras. The case study will present a model of a simple recursive dataype as an initial algebra; the existence of the initial algebra will be demonstrated both concretely as a set of program expressions and abstractly by properties of a colimit preserving functor. The lecture slides and exercises are available below. ## The Lecture Slides and Related Material |

Author: |