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.
