[eastWestMath]

My issue is that I can’t see a cursory literature review into the established category literature on these methods - how do they even know they have something new/novel if they haven't checked?

This is a bit like the recent news about the “ML discovered a new fast matrix multiplication” press push out of Google, where researchers in the field just sort of rolled their eyes.

[karmakaze]

> In work published in the Annals of Mathematics in 2016, Ellenberg, along with Akshay Venkatesh and Craig Westerland, used moments to study the statistics of class groups in a slightly different setting than Cohen and Lenstra had considered. This idea was reused several times. But each time researchers used the moments, they would lean on the quirks of their particular problem to prove that the infinite set of equations had a solution. That meant their techniques were not transferable. The next mathematician who needed to use moments would have to solve the moment problem all over again.

Are you suggesting that this need to solve the moment problem all over again could have been avoided by searching Category Theory developments?

[impendia]

As I said in another comment, this research isn't about category theory. [Edit: Well, not about the foundations anyway.]

The use of moments as a method for understanding probability distributions isn't particularly new. What is new, is the introduction and adaptation of this framework for trying to understand the Cohen-Lenstra heuristics -- a smaller-scope problem in number theory that has seen a lot of attention recently.

The people quoted are among the world's leading experts in this topic, and I would say that Melanie Wood is the foremost expert. This is definitely novel.

[rst123]

What is your definition of 'these methods' and what is the established literature on them that you'd want to see cited? I'd be surprised if the specific construction and results that they need have been published.

The two authors are no slouches... I certainly wouldn't roll my eyes at them.

[ur-whale]

So, category theory is the new gospel, I guess, that from which all mathematics is derived?

[eastWestMath]

“I’ve discovered a new thing about Y in X’s! Oh, no I haven't actually looked at the X literature about Y.” This is hardly specific to category theory.