Hard disagree. Group theory, for example, is not just another language, but is absolutely necessary for proving Abel's theorem. So the question was: Group theo

Hard disagree. Group theory, for example, is not just another language, but is absolutely necessary for proving Abel's theorem. So the question was: Group theory -> Abel's theorem Category theory -> ??? (below I got the answer 'Weil conjectures')