Con esta noción de morfismo, la clase de todas las álgebras asociativas sobre "R" se convierte en una categoría.