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/

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#References https://en.wikipedia.org/wiki/Categorical_quantum_mechanics#...