The Curry-Howard-Lambek isomorphism.
I'm hoping to blow your mind:
Programs in Computer Science, Logical Proofs in Maths, and Category Theory are "essentially" the same.
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
https://wiki.haskell.org/Curry-Howard-Lambek_correspondence
Why should you care?
Because if you're good at one and not the others, you just need to figure out the isomorphism between the field you know and the field you want to understand to unlock said field.
And that's a lot quicker than learning from the bottom up.
You learn instead by analogy instead, taking what you already know in your expertise and then matching that with the equivalent in the other field.
If you're looking for a way to learn fast, this is it.
I'm hoping to blow your mind:
Programs in Computer Science, Logical Proofs in Maths, and Category Theory are "essentially" the same.
https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
https://wiki.haskell.org/Curry-Howard-Lambek_correspondence
Why should you care?
Because if you're good at one and not the others, you just need to figure out the isomorphism between the field you know and the field you want to understand to unlock said field.
And that's a lot quicker than learning from the bottom up.
You learn instead by analogy instead, taking what you already know in your expertise and then matching that with the equivalent in the other field.
If you're looking for a way to learn fast, this is it.
