{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:05:04Z","timestamp":1781172304928,"version":"3.54.1"},"reference-count":95,"publisher":"Cambridge University Press (CUP)","issue":"6","license":[{"start":{"date-parts":[[2015,10,12]],"date-time":"2015-10-12T00:00:00Z","timestamp":1444608000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2017,9]]},"abstract":"<jats:p>Resources and their use and consumption form a central part of our life. Many branches of science and engineering are concerned with the question of which given resource objects can be converted into which target resource objects. For example, information theory studies the conversion of a noisy communication channel instance into an exchange of information. Inspired by work in quantum information theory, we develop a general mathematical toolbox for this type of question. The convertibility of resources into other ones and the possibility of combining resources is accurately captured by the mathematics of ordered commutative monoids. As an intuitive example, we consider chemistry, where chemical reaction equations such as<jats:disp-formula><jats:alternatives><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S0960129515000444_eqnU1\"\/><jats:tex-math>\\mathrm{2H_2 + O_2} \\lra \\mathrm{2H_2O,}<\/jats:tex-math><\/jats:alternatives><\/jats:disp-formula>are concerned both with a convertibility relation \u2018\u2192\u2019 and a combination operation \u2018+.\u2019 We study ordered commutative monoids from an algebraic and functional-analytic perspective and derive a wealth of results which should have applications to concrete resource theories, such as a formula for rates of conversion. As a running example showing that ordered commutative monoids are also of purely mathematical interest without the resource-theoretic interpretation, we exemplify our results with the ordered commutative monoid of graphs.<\/jats:p><jats:p>While closely related to both Girard's linear logic and to Deutsch's constructor theory, our framework also produces results very reminiscent of the utility theorem of von Neumann and Morgenstern in decision theory and of a theorem of Lieb and Yngvason on the foundations of thermodynamics.<\/jats:p><jats:p>Concerning pure algebra, our observation is that some pieces of algebra can be developed in a context in which equality is not necessarily symmetric, i.e. in which the equality relation is replaced by an ordering relation. For example, notions like cancellativity or torsion-freeness are still sensible and very natural concepts in our ordered setting.<\/jats:p>","DOI":"10.1017\/s0960129515000444","type":"journal-article","created":{"date-parts":[[2015,10,12]],"date-time":"2015-10-12T22:55:22Z","timestamp":1444690522000},"page":"850-938","source":"Crossref","is-referenced-by-count":61,"title":["Resource convertibility and ordered commutative monoids"],"prefix":"10.1017","volume":"27","author":[{"given":"TOBIAS","family":"FRITZ","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2015,10,12]]},"reference":[{"key":"S0960129515000444_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s00220-007-0382-4"},{"key":"S0960129515000444_ref74","doi-asserted-by":"crossref","first-page":"181","DOI":"10.14492\/hokmj\/1530864018","article-title":"Partially ordered Abelian semigroups. I. On the extension of the strong partial order defined on Abelian semigroups","volume":"11","author":"Nakada","year":"1951","journal-title":"Journal of the Faculty of Science, Hokkaido University. Series I."},{"key":"S0960129515000444_ref61","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107360068"},{"key":"S0960129515000444_ref91","doi-asserted-by":"publisher","DOI":"10.1023\/B:STUD.0000032085.13087.bd"},{"key":"S0960129515000444_ref58","volume-title":"Frobenius Algebras and 2D Topological Quantum Field Theories","author":"Kock","year":"2004"},{"key":"S0960129515000444_ref44","doi-asserted-by":"publisher","DOI":"10.1142\/S0217979213450197"},{"key":"S0960129515000444_ref26","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.042319"},{"key":"S0960129515000444_ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45138-9_50"},{"key":"S0960129515000444_ref90","volume-title":"The Entropy Principle. Thermodynamics for the Unsatisfied","author":"Thess","year":"2011"},{"key":"S0960129515000444_ref88","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1956.1056798"},{"key":"S0960129515000444_ref60","first-page":"1","article-title":"Metric spaces, generalized logic, and closed categories [Rend. Sem. Mat. Fis. Milano 43 (1973), 135\u2013166 (1974)]","volume":"1","author":"Lawvere","year":"2002","journal-title":"Repr. Theory Applications of Categories"},{"key":"S0960129515000444_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2015.04.003"},{"key":"S0960129515000444_ref94","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(92)90104-N"},{"key":"S0960129515000444_ref51","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"},{"key":"S0960129515000444_ref82","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511623806"},{"key":"S0960129515000444_ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1979.1055985"},{"key":"S0960129515000444_ref86","volume-title":"Fractional Graph Theory","author":"Scheinerman","year":"2011"},{"key":"S0960129515000444_ref54","volume-title":"Linear Topological Spaces","author":"Kelley","year":"1976"},{"key":"S0960129515000444_ref55","article-title":"Basic concepts of enriched category theory","volume":"10","author":"Kelly","year":"2005","journal-title":"Reprints Theory and Applications of Categories"},{"key":"S0960129515000444_ref53","doi-asserted-by":"publisher","DOI":"10.1007\/PL00005940"},{"key":"S0960129515000444_ref45","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.81.865"},{"key":"S0960129515000444_ref70","volume-title":"Inequalities: Theory of Majorization and its Applications","author":"Marshall","year":"1979"},{"key":"S0960129515000444_ref76","unstructured":"nLab. Stuff, structure, property, (2014). Available at: ncatlab.org\/nlab\/revision\/stuff,+structure,+property\/38."},{"key":"S0960129515000444_ref71","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/15\/3\/033001"},{"key":"S0960129515000444_ref69","article-title":"The constructor theory of life","volume":"12","author":"Marletto","year":"2015","journal-title":"Royal Society Interface"},{"key":"S0960129515000444_ref27","unstructured":"Engler J.-O. and Baumg\u00e4rtner S. (2013). An Axiomatic Approach to Decision under Knightian Uncertainty. Available at: eea-esem.com\/eea-esem\/2013\/prog\/viewpaper.asp?pid=1914."},{"key":"S0960129515000444_ref30","unstructured":"Fritz T. (2009). Possibilistic Physics. Available at: fqxi.org\/community\/forum\/topic\/569."},{"key":"S0960129515000444_ref20","volume-title":"Theory of Lattice-Ordered Groups","author":"Darnel","year":"1995"},{"key":"S0960129515000444_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s11856-011-0056-y"},{"key":"S0960129515000444_ref75","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.83.436"},{"key":"S0960129515000444_ref59","volume-title":"Notes on the Theory of Choice","author":"Kreps","year":"1988"},{"key":"S0960129515000444_ref80","unstructured":"Roberson D.E. (2013). Variations on a Theme: Graph Homomorphisms. PhD thesis, University of Waterloo. Available at: uwspace.uwaterloo.ca\/handle\/10012\/7814."},{"key":"S0960129515000444_ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF00261935"},{"key":"S0960129515000444_ref84","volume-title":"Quantales and their Applications","author":"Rosenthal","year":"1990"},{"key":"S0960129515000444_ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2008.928980"},{"key":"S0960129515000444_ref79","first-page":"23","article-title":"Residuation in commutative ordered monoids with minimal zero","volume":"34","author":"Raftery","year":"2000","journal-title":"Reports on Mathematical Logic"},{"key":"S0960129515000444_ref38","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/10\/3\/033023"},{"key":"S0960129515000444_ref92","doi-asserted-by":"publisher","DOI":"10.1080\/09500340008244048"},{"key":"S0960129515000444_ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2010.2054532"},{"key":"S0960129515000444_ref36","volume-title":"Partially Ordered Abelian Groups with Interpolation","author":"Goodearl","year":"1986"},{"key":"S0960129515000444_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9333-5"},{"key":"S0960129515000444_ref77","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.2009.58.3518"},{"key":"S0960129515000444_ref25","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Di Cosmo","year":"2006"},{"key":"S0960129515000444_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"S0960129515000444_ref23","unstructured":"Deutsch D. and Marletto C. (2014). Constructor theory of information. arXiv:1405.5563."},{"key":"S0960129515000444_ref6","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.53.2046"},{"key":"S0960129515000444_ref95","unstructured":"World Wide Web Consortium. (2006). The rule of least power. Available at: w3.org\/2001\/tag\/doc\/leastPower.html."},{"key":"S0960129515000444_ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2011.2159047"},{"key":"S0960129515000444_ref13","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.111.250404"},{"key":"S0960129515000444_ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2014.2309968"},{"key":"S0960129515000444_ref17","unstructured":"Coecke B. , Fritz T. and Spekkens R. W. (2014). A mathematical theory of resources. arXiv:1409.5531."},{"key":"S0960129515000444_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3389-1"},{"key":"S0960129515000444_ref31","volume-title":"Convex Cones","author":"Fuchssteiner","year":"1981"},{"key":"S0960129515000444_ref11","article-title":"Reversible framework for quantum resource theories","volume":"115","author":"Brand\u00e3o","year":"2015","journal-title":"Physical Review Letters"},{"key":"S0960129515000444_ref73","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(01)00141-4"},{"key":"S0960129515000444_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF02573178"},{"key":"S0960129515000444_ref65","first-page":"89","volume-title":"Current Developments in Mathematics, 2001","author":"Lieb","year":"2002"},{"key":"S0960129515000444_ref2","volume-title":"Abstract and Concrete Categories: The joy of cats","author":"Ad\u00e1mek","year":"1990"},{"key":"S0960129515000444_ref21","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/9\/093042"},{"key":"S0960129515000444_ref12","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1411728112"},{"key":"S0960129515000444_ref89","unstructured":"Shirahata M. (1996). A Sequent Calculus for Compact Closed Categories. Available at: http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.57.3906."},{"key":"S0960129515000444_ref40","unstructured":"Halpern N.Y. (2014). Beyond heat baths II: Framework for generalized thermodynamic resource theories. arXiv:1409.7845."},{"key":"S0960129515000444_ref87","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb00917.x"},{"key":"S0960129515000444_ref63","doi-asserted-by":"publisher","DOI":"10.1016\/S0370-1573(98)00082-9"},{"key":"S0960129515000444_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(92)90098-7"},{"key":"S0960129515000444_ref81","unstructured":"Roberson D.E. and Man\u010dinska L. (2012). Graph homomorphisms for quantum players. In: Proceedings of the 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014) 212\u2013216."},{"key":"S0960129515000444_ref5","doi-asserted-by":"publisher","DOI":"10.1238\/Physica.Topical.076a00210"},{"key":"S0960129515000444_ref9","volume-title":"K-Theory for Operator Algebras","author":"Blackadar","year":"1998"},{"key":"S0960129515000444_ref43","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.67.062104"},{"key":"S0960129515000444_ref64","doi-asserted-by":"publisher","DOI":"10.1063\/1.883034"},{"key":"S0960129515000444_ref7","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.76.722"},{"key":"S0960129515000444_ref50","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026422630734"},{"key":"S0960129515000444_ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79890-3"},{"key":"S0960129515000444_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-013-0279-z"},{"key":"S0960129515000444_ref14","doi-asserted-by":"crossref","DOI":"10.4159\/9780674028739","volume-title":"Articulating Reasons","author":"Brandom","year":"2000"},{"key":"S0960129515000444_ref85","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1468-7"},{"key":"S0960129515000444_ref49","volume-title":"Product Graphs, Structure and Recognition","author":"Imrich","year":"2000"},{"key":"S0960129515000444_ref15","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2006.164.51"},{"key":"S0960129515000444_ref41","unstructured":"Halpern N.Y. and Renes J.M. (2014). Beyond heat baths: Generalized resource theories for small-scale thermodynamics. arXiv:1409.3998."},{"key":"S0960129515000444_ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2014.2349502"},{"key":"S0960129515000444_ref34","unstructured":"Godsil C. , Roberson D. W. , \u0160\u00e1mal R. and Severini S. (2015). Sabidussi versus Hedetniemi for three variations of the chromatic number. Combinatorica. Available at: http:\/\/link.springer.com\/article\/10.1007%2Fs00493-014-3132-1."},{"key":"S0960129515000444_ref33","doi-asserted-by":"publisher","DOI":"10.1142\/3811"},{"key":"S0960129515000444_ref72","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.90.062110"},{"key":"S0960129515000444_ref46","doi-asserted-by":"publisher","DOI":"10.2307\/2322314"},{"key":"S0960129515000444_ref42","doi-asserted-by":"crossref","unstructured":"Harrow A.W. (2010). Entanglement spread and clean resource inequalities. In: Proceedings of the 16th International Congress on Mathematical Physics, World Scientific, 536\u2013540.","DOI":"10.1142\/9789814304634_0046"},{"key":"S0960129515000444_ref56","unstructured":"Klimesh M. (2007). Inequalities that collectively completely characterize the catalytic majorization relation. arXiv:0709.3680."},{"key":"S0960129515000444_ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2010.2053903"},{"key":"S0960129515000444_ref3","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/084"},{"key":"S0960129515000444_ref93","volume-title":"Theory of Games and Economic Behavior","author":"von Neumann","year":"2007"},{"key":"S0960129515000444_ref83","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0160-6"},{"key":"S0960129515000444_ref66","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2014.0192"},{"key":"S0960129515000444_ref57","doi-asserted-by":"crossref","first-page":"A1","DOI":"10.37236\/1193","article-title":"The sandwich theorem","volume":"1","author":"Knuth","year":"1994","journal-title":"Electronic Journal of Combinatorics"},{"key":"S0960129515000444_ref78","volume-title":"Combinatorial, Algebraic and Topological Representations of Groups, Semigroups and Categories","author":"Pultr","year":"1980"},{"key":"S0960129515000444_ref62","first-page":"571","article-title":"A guide to entropy and the second law of thermodynamics","volume":"45","author":"Lieb","year":"1998","journal-title":"Notices Amer. Math. Soc."},{"key":"S0960129515000444_ref1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2009.0202"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129515000444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:24:59Z","timestamp":1653265499000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129515000444\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,12]]},"references-count":95,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["S0960129515000444"],"URL":"https:\/\/doi.org\/10.1017\/s0960129515000444","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,12]]}}}