Category Theory


Neil Ghani, University of Leicester


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:

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

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