Is there anything more fundamental than mathematics though? If category theory represents the mathematical aspect of design and mathematics is fundamental to the universe then perhaps category theory is a fundamental theory of design.

There's got to be counter-examples of good system design where category cannot be applied.