I'm not sure that's true. This is a surface / introductory article, but if you go deeper into say, categorical databases, modeling of attacks (https://arxiv.org/pdf/2103.00044.pdf), there sure is some wilder CT at work. I'm leaving out programming as applied category theory because there is no shortage of refined concepts there (type theory, all the haskell libraries, many things I don't even comprehend).
But to me, the value in ACT is actually learning how "simple" some of the other fields could be, because it allows me to communicate with non-software engineers, and actually have them contribute to software.
I did a lot of work with state machines as composable abstractions for concurrency and flow control, and mechanical engineers were able to find some really subtle say, race conditions, just by pointing out "hey, isn't there an arrow from this to this, if the limit switch catches early?"
