[spekcular]

But this is exactly my objection. Returning to your example, I don't think working through Helemskii's book helps one really understand functional analysis relative to a well-written standard treatment. What interesting problems does this viewpoint permit a probabilist or harmonic analyst to solve that the standard approach does not? What theorems does it enable?

I find it bizarre that you (and others – I don't mean to pick on you) seem to think that a translation to category theoretic language is necessary (and sufficient?) to understand what one is actually doing. Do the many professional mathematicians who prove important theorems in functional analysis today without bothering to learn this language not actually understand what they are doing [0]? But the undergraduate who reads Helemskii does? This seems like an absurd notion of what it means to actually understand a subject.

[0] See, for example, many of the papers noted here: https://en.wikipedia.org/wiki/Invariant_subspace_problem

[Koshkin]

Well, at the very least Category Theory can help keep things organized. Let me quote Tom Leinster:

K-theory and K-homology have become indispensable tools in operator theory; there is even a bivariant functor 𝐾𝐾(−,−) from the category of C-algebras to the category of abelian groups relating the two constructions, and many deep theorems can be subsumed in the assertion that there is a category whose objects are C-algebras and whose morphism spaces are given by 𝐾𝐾(𝐴,𝐵). Cyclic homology and cohomology has also become extremely relevant to the interface between analysis and topology.