Depende de que estructura de monoide pongas en $N$. No quise explicitar eso, sólo dejar la idea. La estructura en dominio y codominio es la multiplicativa. Buenísimo el otro ejemplo también, es en algún sentido parecido (esto es una especie de "inclusión" con un elemento intruso- el 0)