En resumen, utilizamos asociatividad, elementos de identidad e inversos en un conjunto de todos los enteros para resolver la ecuación dada. Esto quizás sugiere que estos serían rasgos útiles para tene...En resumen, utilizamos asociatividad, elementos de identidad e inversos en un conjunto de todos los enteros para resolver la ecuación dada. Esto quizás sugiere que estos serían rasgos útiles para tener una estructura binaria y/o su operación. De hecho, son tan útiles que a una estructura binaria que muestra estas características se le da un nombre especial. Observamos que estos axiomas son bastante fuertes; “la mayoría” de las estructuras binarias no son grupos.
Existe una categoría Feas cuyos objetos son preordenes y cuyos morfismos son relaciones de factibilidad. Para describirlo, debemos dar la fórmula de composición y las identidades, y demostrar que sati...Existe una categoría Feas cuyos objetos son preordenes y cuyos morfismos son relaciones de factibilidad. Para describirlo, debemos dar la fórmula de composición y las identidades, y demostrar que satisfacen las propiedades de ser una categoría: la unidad y la asociatividad.
