Category Theory and Functional Programming 2013
Course Plan including examination requirements and deadline.
- Main book
- Category Theory by Steve Awodey (chapters).
→ Something I found online which is similar to Algebra of Programming. I would like to put some emphasis on this book (still in draft form) since it has a nice programming emphasis.
→ Used in this 2013 course at MIT. Many good examples!
- CTFP10 category theory formalisation in Agda: http://patch-tag.com/r/stevan/ctfp10/home
- Lecture 1
let xs = [13,6,19,20,0,15,6,14,8,0,16,9,0,20,11, 8,0,6,21,20,11,16,18,0,16,9,0,1,2,6, 19,12,7,0,3,6,20,8,10,16,18,22,0,5,11, 8,16,18,22,0,9,16,18,0,3,16,14,17,21, 20,8,18,0,4,7,12,8,15,20,12,19,20,19,1] in mapM (flip (!!)) xs " \"BCSTacefghilmnoprstuy"