Resource Convertibility (Part 2)

guest post by Tobias Fritz

In Part 1, I introduced ordered commutative monoids as a mathematical formalization of resources and their convertibility. Today I’m going to say something about what to do with this formalization. Let’s start with a quick recap!

Definition: An ordered commutative monoid is a set equipped with a binary relation a binary operation and a distinguished element such that the following hold:

• and equip with the structure of a commutative monoid;

• equips with t...