Why Category Theory?

[timelets]

Why should we use Category Theory where a "normal" math would do?


My main motivation, in Kant's language, is Apodeictical: CT is fundamentally visual, therefore we can clearly demonstrate mathematical concepts to people who have trouble grasping "normal" math language. We know from psychological studies that the right visual representation improves problem understanding and solving from 10 to 100 times. Unfortunately, our standard modes of explanation and testing for intelligence are skewed toward algebraic and linguistic expressions, mostly because they are easier for multiple choice problems. As the result, we waste a powerful communication channel and we put at a disadvantage people who have high visual intelligence.

By contrast with programming, where the emphasis is on performance rather than explanation, in natural and artificial sciences the need for communicating concepts is essential to the success of a theory and its models. Furthermore, in this field of inquiry concept construction is often more important than actual computation. Therefore, adoption of CT for developing ideas should be promoted in fields where analytical results have to be aligned with the need to communicate them to lay people who may lack in math background, but have plenty of smarts and practical experience.

Comments

[ecreet]

Actually, disregard the question: it can't be all morphisms, since it misses any morphisms between A and R (and we have ue and tr). So, a category given by generators and relations. Great, this is definitely a category!

What I am questioning is not your ability to consider a category, but the usefulness of these models applied to non-mathematical notions. A category has a binary operation (composition) that needs to be associative; this restricts the options for "real life" interpretations of morphisms in a category severely.

[timelets]

First, I really appreciate your comments and questions. They really help me focus on both consistency and usefulness of the model. Frankly. putting together a category is still a bit of challenge; mapping it to a real life situation is even a greater challenge. In short, you are asking all the right questions and I should've been asking them myself more often. And, overall, I agree with your point that most of it can be done in sets. For now.

Second, with regard to usefulness, just this summer we applied/tested this approach, albeit informally, to help several startups to evaluate and rework their business models. You'll be surprised how many questions and insights these little formulas te=1A and ur =IR generate in a conversation between technologists and investors. Of course it's a small sample, but I'm encouraged with the early results.

Third, I have a feeling that composition of arrows can be translated into real life using the concept of Point of View. For example, the process has to commute from points of view of J, A, H and R. Still working on it, though.

[ecreet]

1) Glad to be of help.

2) I'll take your word for it: me, I am a greenhouse flower, never having seen an investor in my life :).

[timelets]

Sometimes it's useful to think like an investor because you do invest your efforts into something that may or may not pay off, even though your capital at risk and returns are not necessarily financial.