Grant Sanderson mentioned this somewhere

with an example pointing to category theory as a high level of abstraction, if I recall correctly

Being precise about when we are moving up and down these layers always seemed important to me

I think this applies to System Design generally and to SDM