the traditional presentation of category theory is perfectly adapted to its original purpose
I think this is too generous. The traditional way of conceptualizing a given math subject is usually just a minor modification of the original conceptualization. There’s a good reason for this, which is that updating the already known conceptualization across a community is a really hard coordination problem—but this also means that the presentation of subjects has very little optimization pressure towards being more usable.
This phenomenon exists, but is strongly context-dependent. Areas of math adjacent to abstract algebra are actually extremely good at updating conceptualizations when new and better ones arrive. This is for a combination of two related reasons: first, abstract algebra is significantly concerned about finding “conceptual local optima” of ways of presenting standard formal constructions, and these are inherently stable and require changing infrequently; second, when a new and better formalism is found, it tends to be so powerfully useful that papers that use the old formalism (in concepts where the new formalism is more natural) quickly become outdated—this happened twice in living memory, once with the formalism of schemes replacing other points of view in algebraic geometry and once with higher category theory replacing clunkier conceptualizations of homological algebra and other homotopical methods in algebra. This is different from fields like AI or neuroscience, where oftentimes using more compute, or finding a more carefully taylored subproblem is competitive or better than “using optimal formalism”. That said, niceness of conceptualizations depends on context and taste, and there do exist contexts where “more classical” or “less universal” characterizations are preferable to the “consensus conceptual optimum”.
I think this is too generous. The traditional way of conceptualizing a given math subject is usually just a minor modification of the original conceptualization. There’s a good reason for this, which is that updating the already known conceptualization across a community is a really hard coordination problem—but this also means that the presentation of subjects has very little optimization pressure towards being more usable.
This phenomenon exists, but is strongly context-dependent. Areas of math adjacent to abstract algebra are actually extremely good at updating conceptualizations when new and better ones arrive. This is for a combination of two related reasons: first, abstract algebra is significantly concerned about finding “conceptual local optima” of ways of presenting standard formal constructions, and these are inherently stable and require changing infrequently; second, when a new and better formalism is found, it tends to be so powerfully useful that papers that use the old formalism (in concepts where the new formalism is more natural) quickly become outdated—this happened twice in living memory, once with the formalism of schemes replacing other points of view in algebraic geometry and once with higher category theory replacing clunkier conceptualizations of homological algebra and other homotopical methods in algebra. This is different from fields like AI or neuroscience, where oftentimes using more compute, or finding a more carefully taylored subproblem is competitive or better than “using optimal formalism”. That said, niceness of conceptualizations depends on context and taste, and there do exist contexts where “more classical” or “less universal” characterizations are preferable to the “consensus conceptual optimum”.