Great intro! As a computer science guy I am truly exited to rediscover concepts in a categorical way. I can safely say I can't imagine myself understanding lambda calculus _with_ category theory. Hopefully that is about to change!