By the end of this chapter, we will see value in those math classes we took back in school. We'll understand how the things we learned in our high school math classes can be applied when horizontally scaling our software solutions.
The following diagram implies that Category Theory, functional programming, and logic are equivalent:
Huh?
I thought Category Theory was about a sets of objects and the arrows that connect them and that Proof Theory was about using logic to prove something. And we all know that function programming is about software. How can all three things be related?
This seems about as useful as all those math classes we had to take in school, right?
Your pessimism is understandable. Please proceed with an open mind and remain seated. Mathematics, logic, and computation. They are just three different ways to approach solving the same problems.
How can Category Theory, Proof Theory, and functional programming be the same thing? (and why care?)
"Scientists derive satisfaction...