Maybe this can help:

http://reperiendi.wordpress.com/2007/11/03/category-theory-f...