I'm not sure there is any good resources for CT applied to CS. But anyway, check this out: http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of-algebra

I'm not sure there is any good resources for CT applied to CS. But anyway, check this out: http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of-algebraic-data-types-part-iii/ http://chris-taylor.github.io/blog/2013/02/13/the-algebra-of... There's alot of category theory implicit in these ideas. You can learn the abstract approach later on, after you have seen a bunch of examples.