Con el producto directo, se obtienen automáticamente algunos homomorfismos naturales, a saber: las funciones de proyección