Category Theory for Functional Programming
From Spivey's Corner
Another course from long ago, given first at Oregon Graduate Institute by invitation of Dick Kieburtz, and later repeated at Oxford. I've scanned the first part of the notes, and have just rediscovered the second notebook, and will scan it when the opportunity presents itself.
- Handwritten notes (PDF, 8.5MB).
- Notes, part 2 (PDF).
- Answers to exercises (PDF).