Differences

This shows you the differences between two versions of the page.

commutative_monoids [2010/07/29 18:30]
127.0.0.1 external edit
commutative_monoids [2010/08/21 00:27] (current)
jipsen
Line 23: Line 23:
==Morphisms== ==Morphisms==
Let $\mathbf{M}$ and $\mathbf{N}$ be commutative monoids. A morphism from $\mathbf{M}$ Let $\mathbf{M}$ and $\mathbf{N}$ be commutative monoids. A morphism from $\mathbf{M}$
-to $\mathbf{N}$ is a function $h:Marrow N$ that is a homomorphism: +to $\mathbf{N}$ is a function $h:M\to N$ that is a homomorphism:
$h(x\cdot y)=h(x)\cdot h(y)$, $h(e)=e$ $h(x\cdot y)=h(x)\cdot h(y)$, $h(e)=e$