[:magma morphism:] [:magma morphisms:] [:magma homomorphism:] [:magma homomorphisms:] A magma homomorphism is a morphism in the category of magmas. Explicitly, it is a function $f : X \to Y$ between two magmas $(X, +)$ and $(Y, \times)$ such that $f(a + b) = f(a) \times f(b)$ Referenced by: