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...

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.

I'd suggest learning it via Haskell or maybe Scala if you've found programming helps your understanding of mathematics as I have. Learning via doing, internalizing by example, then diving deeper into the then-easier theory is how I like to go about things.

the book in the article you are posting under, perhaps. just a hunch :)