Category Theory with Applications in Functional Programming: Ph.D. Course

First Day Programme

The first day in the course takes place Thursday 1 October from 9:00 to 15:00 at SLV300-0.1.12

The programme for the first day of the course is as follows:

9:00Welcome
9:10CT1.1: Categories; duality
9:55Break
10:05CT1.2: Isos, epics, monos
10:50Exercises; lunch
12:30FP1.1: Introduction to Haskell
13:15Exercises
14:15CT1.3: Example: the category of transition systems; functors; natural transformations
15:00Closing

Reading

We shall use material from the following sources:

(Pierce is the basic textbook of the course, so we advise you to buy a copy; Rydeheard-Burstall and Winskel-Nielsen (Models) are available on-line.)

Exercises

Exercises marked with * are available for student presentation; more about this during the lecture. Exercises marked with + may require some extra mathematical pre-requisites. The Mac Lane exercises are available on-line here.

  1. Pierce 1.1.20.2* Also display diagrams for the group axioms.
  2. Pierce 1.3.10.2, 1.3.10.3
  3. Pierce 2.1.10.2
  4. Pierce 2.1.10.3* Also do the same for groups and preorders.
  5. Mac Lane 1.3.2, 1.3.4+ (p.15)
  6. Mac Lane 1.5.9 (p.21)
  7. Pierce 2.3.11.2*
  8. Mac Lane 1.4.3+ (p.18)

Slides