Learning Functional Programming in Go

Category axioms

For each f, we have an arrow that goes from the domain of f to the codomain of f:

f: dom(f) → cod(f)

For each A, we have an identity arrow that goes from A to A:

1A: A → A

For each composable pair, A → B → C we have a composition operation from A → C.