University of Leicester

informatics

Midlands Graduate School

Category Theory Lectures 2015

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. 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: Roy Crole.
University of Leicester April 2015. Last modified: 16th April 2015, 14:34:18.
Informatics Web Maintainer. This document has been approved by the Head of Department.