An Isomorphism can be encoded with two functions¶
By providing a \text{to} and a \text{from} function it's possible to encode any isomorphism in a programming language. These functions should still follow the laws of left and right identity.
\text{to} \cdot \text{from} = \text{from} \cdot \text{to} = \text{id}