[wreckimnaked]

I really want to understand about morphisms and category theory after reading this. Can anyone point out any good introduction to the category theory behind those catamorphisms?

[sfvisser]

More of a programming than a CT introduction, but very useful nonetheless: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire (1991), by Erik Meijer, Maarten Fokkinga, Ross Paterson

[gtani]

here's some course materials

http://www.cse.chalmers.se/edu/course/afp/lectures.html

http://www.scs.stanford.edu/11au-cs240h/notes/

http://www.seas.upenn.edu/~cis194/lectures.html

[Toshio]

These slides may be of some help.

http://yogsototh.github.com/Category-Theory-Presentation