What is a good introduction to category theory for computer scientists?

Question

I am looking for an introduction to category theory for computer scientists.

• I have no background in category theory, or advanced math such as topology.

• I am interested in logic, and applications to computer science (theorem provers, performance guarantees of programs, etc). I've heard that category theory is relevant for these topics.

• I would like the introduction to be concept and intuition-heavy, and not unnecessarily over-technical.

Answer 1

Maybe a good start is the book Category theory for scientists by David Spivak. It does not require any advanced math.

http://math.mit.edu/~dspivak/teaching/sp13/CT4S--static.pdf

Answer 2

How about Category Theory for Programmers?