Learning Functional Programming in Go

Algebra of functions

Category theory is the abstract algebra of functions. In fact, the Lambda calculus is a calculus for specifying, manipulating, and calculating functions. There is a deep connection between Lambda calculus and category theory. We're looking at the same thing from two different perspectives--from the logical, syntactic way on the Lambda calculus side and from a more algebraic, geometric perspective from category theory.