Inkindergarten, we learned how to read time. In advanced math, we learned how to abstract a 12-hour clock and called it a monad.
In elementary school, we learned geometry, logical reasoning, and functions.
In high school, we learned algebra, linear, and quadratic equations. We were so busy going through the motions deep in the minutiae of our problems that we could see no use for any of it.
Note
Check out the learning material used in K-12 education here: https://www.ixl.com/math/kindergarten/match-analog-clocks-and-times.
Fast forward to our day job. To appear smart, we often ask, Will it scale? No matter what it is.
Wondering how reading time and horizontal scaling are related? They are, deeply. We'll find out how in this chapter.
Our goal in this chapter is to do the following:
- Gain a working understanding of the category theory
- Appreciate the deep connection between category theory, logic, and type theory
- Understand what binding, currying and application...