Re:Why I am learning category theory
by charcircuit on Wednesday November 30, 2022 @11:48PM
(#33812468)
>What is 70+ years of computer science doing for you as a software engineer?
No, what does category theory unlock from mathematics that I can not get without it.
Nothing. You can re-invent and re-discover everything. By yourself. From first principles.
You can re-discover and re-invent all of computation, Mathematics and physics.
You can do absolutely everything all by yourself. All you need is infinite time.
You mean other than inventing the entire industry in which you now make a living? It's a weird question that I have no idea how to answer for you.
What is 70+ years of computer science doing for you as a software engineer? Are you standing on the shoulder of giants; or are you inventing/re-discovering everything by yourself from first principles?
>It's the other way around. Most engineers will have no clue what you are saying.
That's no different to a world where every engineer invents their own meta-language to speak about their designs - two or more engineers still can't understand each other unless they develop a shared language; or learn how to transpile (code switch) between their meta-languages.
This is what happens with humans by default unless you intentionally become part of the Mathematical community which has been developing meta-languages for millenia and benefit from the network effect. It's an anti-entropy thing.
There are many parallels here to the Tower of Babel.