And an even more general argument can be made.

Since category theory is a 'meta' branch of mathematics, some of best applications may be to other branches of mathematical theory.

We're already seen applications to diverse areas of math such as algebraic topology, networks of Markov processes, type theory, ...

So all of math is fair game for application of category theory -- either now or down the road.

Since category theory is a 'meta' branch of mathematics, some of best applications may be to other branches of mathematical theory.

We're already seen applications to diverse areas of math such as algebraic topology, networks of Markov processes, type theory, ...

So all of math is fair game for application of category theory -- either now or down the road.