As someone who knows some Category Theory, Algebraic Topology, and a smidgen of Algebraic Geometry, I totally agree. Category Theory is a very useful and essential tool in those subjects.

However, to me it reminds me of String Theory, in that it has been sold as Theory of Everything for Mathematics and adjacent fields.

Category Theory might even be somewhat useful for language designers, but, I agree that it offers little benefit for programmers even with languages like Haskell.

Even Bartosz said that Adjoints aren't that interesting in Haskell because every functor is an endofunctor.