University of Leicester

informatics

Midlands Graduate School

Category Theory Lectures 2018

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.

The Lecture Slides and Related Material

Author: Roy Crole.
© University of Leicester April 2018. Last modified: 6th April 2018, 16:41:50.
Informatics Web Maintainer. This document has been approved by the Head of Department.