Definition 1. A magma homomorphism between two magmas $M$ and $N$ is a function $f : M \to N$ such that for all $a$, $b \in M$,
\[f(a b) = f(a) f(b).\]References
- [1]
- Wikipedia contributors. Magma (algebra) § Morphism of magmas. Wikipedia, The Free Encyclopedia.