>Lots of domains share the same mathematical abstractions, but we don't know because (almost) nobody is trying to discover them. >We can know that it's common, because once in a while people do look, and always come back with new shared abstractions.

Why would anyone write about not finding a shared abstraction? You have a significant publication bias there.