Learning Functional Programming in Go

Our goal

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 ...