"Abstraction is a path of least resistance, a form of mental laziness."

This can be a good thing. Abstractions, such as category theory, often generalize to many other more specific domains. "Abstract nonsense" can teach us much about the world, and it can allow you to transfer your knowledge from one domain to another. I suppose you would now like to see a concrete example of abstract nonsense at work. However, my time on earth is limited.

I note that a DH7 argument requires suspension of disbelief.

I also propose a DH8 argument, which is a collaborative version of DH7: Work together to improve both arguments, identify the strengths and weaknesses of each, and if one cannot be collaboratively chosen as the winner, identify what experiment can be conducted or what information can be obtained to move forward on the issue.