There's no agreed upon "bible" for CT for computer science in the same way as for mathematicians ([Mac Lane][1]), probably because the field is younger and a bit broader. It really depends on whether you want to understand . Here are a few computer science concepts with category theory counterparts:

 - Simple types (which correspond to [Cartesian Closed Categories][2])

 - dependent types ([Locally Cartesian Closed Categories][3])

 - Abstract data types (categorical algebras, coalgebras, as described in e.g. [Uustalu & Vene][4])

 - Programing with effects (Monads, monoidal categories, building on the foundational observations of [Moggi][5])

 - Ressource aware programing (Closed Monoidal Categories (?))

I'm missing a few, there are applications of category theory from everything to domain theory to database management.


  [1]: http://www.amazon.com/Categories-Working-Mathematician-Graduate-Mathematics/dp/0387984038
  [2]: http://en.wikipedia.org/wiki/Cartesian_closed_category
  [3]: http://ncatlab.org/nlab/show/locally+cartesian+closed+category
  [4]: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.174.8390&rep=rep1&type=pdf
  [5]: http://www.cs.cmu.edu/~crary/819-f09/Moggi91.pdf