El método del funtor adjunto para definir una identidad multiplicativa para los anillos es mirar dos categorías, "C" y "C", de anillos, respectivamente sin y con la asunción de la identidad multiplicativa.