Изменения

'''Гомоморфизмом моноидов''' (англ. ''monoid homomorphism'') <tex>\langle M, \cdot_M, \varepsilon_M \rangle </tex> и <tex>\langle N, \cdot_N, \varepsilon_N \rangle </tex> называется отображение <tex>\varphi \colon M \rightarrow N</tex> совместимое с операциями из <tex> M </tex> и <tex> N </tex> , то есть такое, что : * <tex>\varphi(\varepsilon_M) = \varepsilon_N</tex>* <tex> \forall mx, m' y \in M \colon \varphi(mx\cdot m'cdot_M y) = \varphi(mx) \cdot cdot_N \varphi(ny)</tex>, а также <tex>\varphi(\varepsilon_M) = \varepsilon_N</tex>.