Categories for the lazy functional programmer (MGS 2009)

This page contains material related to my category course at the Midlands Graduate School 2009 in Leicester.

Lecture slides

This are the same as distributed at the MGS but some typos have been eliminated. Please note that exercises 23, 24 and 26 require commutative monoids (thanks to Cody Roux for pointing this out).

Answers to exercises

Monday, 30/3/09

• Exercise 1
• Exercise 2 (i) - (iv)
• Exercise 2 (v) - (vi)
• Exercise 3-4
• Exercise 5
• Exercise 8

Tuesday, 31/3/09

• Exercise 10
• Exercise 12
• Exercise 13
• Exercise 14 (i)
• Exercise 14 (ii)

Wednesday, 1/4/09

• Exercise 15
• Exercise 16
• Exercise 19
• Exercise 21

Thursday, 2/4/09

• Exercise 25
• Exercise 26
• Exercise 28 & 30