# Category Theory

## Lecturer

Neil Ghani, University of Leicester
## Abstract

I will give an introduction to category theory from a computer
scientists point of view. The aims will be to equip students for the
feel for the major techniques used in categorical proofs and to see them
at work in computer science. More concretely, I will give the following
lectures:

- Categories, functors, and natural transformations
- Limits, colimits, universal properties and adjunctions
- Application 1: Semantics of the simply typed lambda calculus via CCC's
- Application 2: Semantics of datatypes via initial algebras
- Application 3: Semantics of impure computations via monads

Thorsten Altenkirch
Last modified: Thu Jan 29 12:24:11 GMT 2004