There's no agreed upon "bible" for CT for computer science in the same way as for mathematicians (Mac Lane), 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)

• dependent types (Locally Cartesian Closed Categories)

• Abstract data types (categorical algebras, coalgebras, as described in e.g. Uustalu & Vene)

• Programing with effects (Monads, monoidal categories, building on the foundational observations of Moggi)

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

There's no agreed upon "bible" for CT for computer science in the same way as for mathematicians (Mac Lane), 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)

• dependent types (Locally Cartesian Closed Categories)

• Abstract data types (categorical algebras, coalgebras, as described in e.g. Uustalu & Vene)

• Programing with effects (Monads, monoidal categories, building on the foundational observations of Moggi)

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

• CPS translations can be interpreted through the lens of the Yoneda lemma (see here for a brief explanation)

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