Uno puede también comenzar con un cuerpo "K" y considerar la categoría de las "K"-álgebras en vez de la categoría de anillos, y conseguir monoides y anillos grupo sobre "K".