timelets: (Default)
[personal profile] 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.

Date: 2019-09-23 03:42 am (UTC)
ecreet: (Default)
From: [personal profile] ecreet
Are all of the morphisms (except identities) in the category pictured here, or are you considering a category generated by those with relations listed on the left?
Edited Date: 2019-09-23 03:43 am (UTC)

Profile

timelets: (Default)
timelets

June 2025

S M T W T F S
123456 7
8 91011121314
15161718192021
22232425262728
2930     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 10th, 2025 05:04 pm
Powered by Dreamwidth Studios