3 ms·

Not to be glib; it depends what you mean by 'design' and 'abstraction', doesn't it?

• crimsonalucard 7y ago
  The design and abstraction of systems. So usually we "design" one possible system out of many to solve a problem in a solution space we do not completely understand. Once a formal axiomatic theory is in place it could very well become "deriving" the best system to solve a problem in a solution space we completely understand. Of course it's likely not that simple and likely there is no singular "best" solution but a theory, in my opinion, would quantify all possible tradeoffs between a subset of "best" solutions out of all possible solutions. Category theory seems to be the closest thing to such a theory I have found. I'm a beginner in learning this stuff though. So far I'm guessing that it's more than likely that there are no algorithms within category theory that can be used to optimize systems or even derive one... but it is the closest thing to such a theory that I have uncovered? My question in the initial post was asking whether or not anyone has found anything better.... Some posters have remarked that the movement of category theory into engineering (a field which is largely involved with designing solutions more-so than deriving solutions) is starting to happen.