> Category theory is something I've always wanted to succeed. In mathematics, category theory is a success story; just have a look at the revolutionary reformu

> Category theory is something I've always wanted to succeed. In mathematics, category theory is a success story; just have a look at the revolutionary reformulation of algebraic geometry be Alexander Grothendieck and his descendents. Whether category theory is useful to you in computer science depends a lot on the things that you work on and your "taste in programming style": If you want to develop new even-higher-level abstractions that unify handling of very different concepts in a unified way, it is in my opinion a great idea to have category theory at your disposal - at least as a source of inspiration, and plausibly for more. Similarly, category theory might be helpful if you want to generalize some cool solution technique to a much larger (and seemingly unrelated!) class of problems. On the other hand, I can easily find problems in computer science where at least I cannot see how category theory might help me with them (at least with my limited intelligence; I am no Grothendieck ;-) ).