timelets: (Default)
timelets ([personal profile] timelets) wrote2016-07-28 11:46 am

Houston, we have a problem

what's really missing for me in Category Theory(CT) texts for non-mathematicians is a clear demonstration of how CT tools improve our ability to accomplish something. For example, in the world "before functors" I had to jump through multiple hoops to do X. Now, that I have functors, I can accomplish the same task 10 times easier.

Чего мне реально не хватает в текстах по КТ для неспециалистов, так это четкого пример как КТ инструменты дают нам новые возможности. Например, в мире, где нет функторов, мне нужно долго проделывать разнообразные вычисления, чтобы показать Х. А с функторами я это могу доказать в 10 раз проще.