[minkowski]

This is rather uncharitable.

Category theory is an essential part of the vocabulary of 20th-century mathematics. Large swaths of algebra, topology, geometry, and logic are fairly inextricably formulated in this language. Similarly, it seems irreplaceable for certain parts of programming language theory (arguably due to its connection to mathematical logic).

There's certainly a community trying to bring a category-theoretic approach into other fields such as statistics, economics, or other areas of computer science, but it's too early to say it's been "quite a few years".

[T-A]

I think parent meant big wins in physics, where the search started well over a decade ago. See e.g. the dates of the references here:

https://en.wikipedia.org/wiki/Categorical_quantum_mechanics#...

[GoblinSlayer]

QM is just linear algebra, no need to turn it into Haskell.