3 ms·

If you do a lot of category theory, you most likely have a high "mathematical maturity" (Terry Tao spoke about this) Even if the math is fairly basic, you need

If you do a lot of category theory, you most likely have a high "mathematical maturity" (Terry Tao spoke about this) Even if the math is fairly basic, you need to understand what is important where, which function could be replaced, etc. With mathematical maturity you realize how some details are not really significant while they take a lot mental space when you don't have it. It's part of the progression.

Krei-se 2y ago
That's true, but i mostly want to encourage coders to learn the vocabulary, because even at one or two years of coding experience you apply most of the rules you need for this (you explained this term way better than i could). In physics i had a lot of trouble in the beginning with the new symbols that where introduced, but they just shorten longer functions. Also chaining output of one function into another or combining them is something most coders do every day and it's written a bit different in math, but the same. What i was missing was someone telling me: "This xyz basically is what you do here with zyx every day and already on a complex level like spacetime. You can do this!". Certainly no teacher can know every specialty of their students, but usually people uncertain about their abilities are the ones that are so deep in their field that they mistake others not understanding them as being behind - when they just miss the vocabulary to exchange ideas. Last month i started with spinors and on one slide one term was named with a handful of different identifiers - same in category theory. The terms and names come from different fields and it can already be an eye-opener to some coder that a vector is just an array or that a scalar is a simple number, etc. The education system and environment may have given up on coders that are sitting in some company struggling with themselves even though they do a lot of good work and i'm always trying to reach those as i know how isolating it can be.
Krei-se 2y ago
Oh i forget: Many thanks for the Terry Tao mentioning, i will certainly have a look!

Krei-se 2y ago

That's true, but i mostly want to encourage coders to learn the vocabulary, because even at one or two years of coding experience you apply most of the rules you need for this (you explained this term way better than i could). In physics i had a lot of trouble in the beginning with the new symbols that where introduced, but they just shorten longer functions. Also chaining output of one function into another or combining them is something most coders do every day and it's written a bit different in math, but the same. What i was missing was someone telling me: "This xyz basically is what you do here with zyx every day and already on a complex level like spacetime. You can do this!". Certainly no teacher can know every specialty of their students, but usually people uncertain about their abilities are the ones that are so deep in their field that they mistake others not understanding them as being behind - when they just miss the vocabulary to exchange ideas. Last month i started with spinors and on one slide one term was named with a handful of different identifiers - same in category theory. The terms and names come from different fields and it can already be an eye-opener to some coder that a vector is just an array or that a scalar is a simple number, etc. The education system and environment may have given up on coders that are sitting in some company struggling with themselves even though they do a lot of good work and i'm always trying to reach those as i know how isolating it can be.

Krei-se 2y ago

Oh i forget: Many thanks for the Terry Tao mentioning, i will certainly have a look!