Esto refiere a la pregunta de si alcanza con que una función preserve la operación de monoide para que preserve el neutro.
Considerar la función 
definida por 
.
Buenas! Esta no manda justamente el neutro en el neutro? Rodri nos dijo un ejemplo ayer, que era agregando un elemento a N y tomando la inclusión.
Depende de que estructura de monoide pongas en 
. 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)
. 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)