Learning Functional Programming in Go

More morphisms

The example below shows two identity morphisms and a morphism from A to B.

If we take A and any f to B and the Identity on A (1A), then this composite f after the identity on A (f o 1A) is equal to f. 

Here's another way to look at it:

If we take A and any f and we take the identity on A, then this composite f after the identity on A is equal to f.

Here's the morphism f from A to B:

And here's a concrete example:

The identity ...