This purpose of this project is to provide a Haskell translation of the code accompanying the book "Computational Category Theory". More information and downloadable book and sources at http://www.cs.man.ac.uk/~david/categories/