Comment by crimsonalucard

I'm starting to study category theory and I'm realizing if there exists a formal theory around 'design' and 'abstraction' category theory is it.

I could be wrong though. What do you guys think?