There is a category Feas whose objects are preorders and whose morphisms are feasibility relations. In order to describe it, we must give the composition formula and the identities, and prove that the...There is a category Feas whose objects are preorders and whose morphisms are feasibility relations. In order to describe it, we must give the composition formula and the identities, and prove that they satisfy the properties of being a category: unitality and associativity.
