Monoid homomorphism and isomorphism