What is category theory useful for? Okay, so I understand what calculus, linear algebra, combinatorics and even topology try to answer (update: this is not the case in hindsight), but why invent category theory?
In Wikipedia it says it is to formalize. As far as I can tell, it sort of generalizes a bunch of fields in mathematics, like in topology, graphs and groups we have isomorphisms and automorphisms and homomorphisms, it seems to me like it just finds a bunch of results that are true to these functions in a bunch of disciplines. But why would generalizing that be of use? I mean, wouldn't it be easier to prove them specifically in each of the important disciplines?
Category theory serves several purposes. On the most superficial level it provides a common language to almost all of mathematics and in that respect its importance as a language can be likened to the importance of basic set theory as a language to speak about mathematics. In more detail, category theory identifies many similar aspects in very different areas of mathematics and thus provides a common unifying language. The fact that almost any structure either is a category, or the  collection of all such structures with their obvious structure preserving mappings forms a category, means that we can't expect too many general theorems in category theory to be really interesting (since anything you can prove about a general category will have to be true of almost everything in maths). However, some general truths can be found to be quite useful and labour saving. For instance, proving that the tensor product of modules is associative up to an isomorphism can be quite daunting if done by working with the construction of the tensor product. But, if instead one observes first that the tensor product satisfies a certain categorical universal property then the associativity up to isomorphism becomes immediate since in any category any universal construction is unique up to an isomorphism. 

Continuing the analogy between set theory and category theory as common languages for maths, the situation is like saying "a set is just a bunch of points. No structure. Nothing. How interesting and relevant can it possibly be to study set theory?". As it turns out it is both interesting and very important to the rest of mathematics. It is very helpful to know the basics of cardinals and ordinals, Zorn's Lemma, and similar techniques to actually prove things in other areas. The exact same phenomenon is true in category theory. True, a category is just a bunch of points and arrows and a composition rule, but it turns out that it is helpful to know the basics of functors, duality, adjunctions, (co)limits and so on when actually proving things. 

Less superficially, category theory encourages a shift in attention to what structure is. In category theory the particular inner workings of an object do not matter at all. All that matters is how that object is related (via the morphisms) to the other objects in the category. This is a familiar situation in very classical mathematics. For instance, one can construct the real numbers in many ways (Dedekind cuts, Cauchy completion etc.). These are different objects, but they are essentially the same. Just what this essential sameness means is answered very clearly by category theory: these are different solutions to the same universal problem. 

Still along the same theme, category theory allows to make precise the meaning of a certain construction being natural. A classical example is that for a finite dimensional vector space $V$, the double dual is naturally isomorphic to $V$. Of course, $V^{**}$ and $V$ are isomorphic simply because they have the same dimension, but that is not the content of the statement. Usually, something is mumbled about the lack of arbitrary choices, but that is not really satisfactory. Eilenberg and Mac Lane defined categories in order to define functors, and defined functors in order to define natural transformations. The naturality of natural transformations gives a precise definition for natural constructions of all sorts, making it very clear what the naturality means, and how to prove naturality. 

More deeply, some questions will never have been asked if it were not for category theory. For instance, given a ring $R$ one can construct the category $R\text{-Mod}$ of $R$-modules. One can ask for two rings $R,S$ when is $R\text{-Mod}$ an equivalent category to $S\text{-Mod}$. The answer is that this holds precisely when $R$ and $S$ are Morita equivalent, a condition that is purely ring theoretic and makes no use of category theory language. But, one could not have asked the question without constructing the categories first. 

Category theory is extremely useful for talking about invariants of structure. The classical example is the fundamental group of a topological space. The classical Seifert-van Kampen theorem for computing the fundamental group was rather tricky to prove. However, if simply restated using category theory a very clear path suggests itself and leads to a very simple proof. Modern homotopy theory was radically transformed by category theory, particularly the famous result of Quillen. Quillen described a certain kind of equivalence between two categories: the category of topological spaces and the category of simplicial sets. The importance of this equivalence to modern homotopy theory is immense and leads further the study of $\infty$-categories. 

Other areas where categories have had a profound effect are algebraic geometry (the work of Grothendieck) and logic (in the form of topos theory). Since my answer is already getting quite lengthy, I won't elaborate on these topics.
Category theory is not something instead of other mathematical theories but an other and very interacting perspective. The search for theorems and their proofs will never end as long as there are still mathematicians left. Even the familiar system of natural numbers will always hide secrets and any theory that helps to prove or counter prove just one single conjecture is worth to be further developed.

The category language might or might not be fruitful for a certain study, but it is always a perspective worth considering. In number theory there are less and more complex functions. The less complex functions are the first to be studied but more complex functions, as the increasing prime number function $p: \mathbb Z_+\rightarrow\mathbb Z_+$, seems resist any attempt of finally survey.

There is a category with all functions $f: \mathbb Z_+\rightarrow\mathbb Z_+$ as objects and pair of commuting functions $\alpha,\beta: \mathbb Z_+\rightarrow\mathbb Z_+$, 
$(\beta f=g\alpha)$, are the morphisms $\displaystyle f\overset{(\alpha,\beta)}{\longrightarrow}g$. 

Investigating such a category (I don't know if it is done) could bring a new approach to some issues. After all, it is not only the prime number function that is unresolved. When using categories there is also a possibility to find functors to other categories, such that hard problems in the primary category is transformed to a less hard problem in the secondary category.