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.