# 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$ |

Trace: