Learning Functional Programming in Go

SemiGroup Homomorphism Algebra

Consider that we're given semigroups (A, *) and (B, +) and a function f: A => B. Then f is a semigroup homomorphism if f(x) + f(y) = f(x*y) .

Note that "+" is the operation in range B and "*" is the operation in the domain A.

So, a semigroup homomorphism is a mapping between two semigroups that preserve the semigroup operation.