Learning Functional Programming in Go

Category theory review

We connect two arrows from A to B and B to C, and another equivalent arrow from A to C. A, B, and C are called objects. They can represent anything. In this example, they represent states--beginning (A), intermediate (B), and final (C) states. In the next example, the domain and range represent different court cases, different worlds. The facts of each case make up the structure of each, and the arrows between the two worlds are the mappings the attorneys perform to make their case.