Resource theories:
As discussed here, we consider ’static’ notions.
Chemistry: reactants + catalyst \(<\) products + catalyst
Manufacturing: you can trash anything you want, and it disappears from view (requires \(\forall x: x \leq I\))
Informatics: in addition to trashing, information can be copied (requires \(x \leq x + x\))