CTFP13 /

CTFP13

Previous years: CTFP10, CTFP11.

Category Theory and Functional Programming 2013

Course Plan including examination requirements and deadline.

Literature Pick

Exercises

Git repo with sources
Compiled versions for assessment.

Mailing list

Resources

Main book: Category Theory by Steve Awodey (chapters).

Other resources

Program Design By Calculation

→ 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.

Category Theory for Scientists

→ 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 Slides

Lecture 1
discontinued

Tools

Commutative diagrams in LaTeX with TikZ

Password is:

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"