La construcción del anillo monoideda un funtor de los monoides a los anillos.