Homomorphism of Powers

Theorem
Let $\left({T_1, \odot}\right)$ and $\left({T_2, \oplus}\right)$ be semigroups.

Let $\phi: \left({T_1, \odot}\right) \to \left({T_2, \oplus}\right)$ be a (semigroup) homomorphism.