Learning Functional Programming in Go

Only concerned with morphisms

In a category theory, we only have objects and arrows between them.

We can compose functions by applying a function to an argument to get a result. Then, we apply another function to the result and so on, until we end up where we started.

We put all of our compositions in a table and only concern ourselves with the morphisms. It is the morphisms that define the interface for our application. What's important is how objects are connected/mapped.