>>3Can you explain how category theory is involved with Haskell? I /think/ it has to do with the Hindley-Milner type system. I have not read much on this (I do know the basic facts about it though). I've also found this just now:
http://en.wikibooks.org/wiki/Haskell/Category_theorywhich enforces my view that category theory is involved with Haskell only on types and not on anything else. I'm not sure if I'm right though, and I don't know enough about Haskell. Actually, I know almost nothing as I've written 0 programs in Haskell.