I see they started to include the ‘work’ or ‘labor’ part in that –some nails and wood put next to each other won’t make a table in my experience. You need a worker–and then more resources–in general, workers have to eat and breath and even take a break from construction.

I see the author works at PI. I submitted an essay to FQXI associated with PI for a contest last year–it was rejected becuase it was improperly formatted and my references were not written in the standard form. Big names–Rovelli and G Ellis basically won that contest–got the $ or resources.

Smolin at PI among others also studies resource economics a bit—via guage theory.

I mostly study resource allocation from perspective of ecology and the economics of daily life. An ecosystem is similar to making a pie or table. You need some fish, snakes, deers, turkeys, foxes, coyotes, bears, frogs, trees etc and also some air and water and weather. The question is how many do you need and what is the optimal ‘ratios’. You can write that as kind of Cobbs-Douglas function from economics (or even a form of Ehrlich’s I=PAT).

Daily life is also a resource allocation problem. How do you spend your time or any money you have? Where do you fit in, in the ‘social ecosystem’? Some people don’t fit in anywhere–its like making a puzzle from pieces (or maybe one of those Penrose/Wang tilings to cover the plane noncomputably) –some puzzle pieces or tiles or people you just have to throw away.Ramanujan lasted 31 years before he was thrown away.

]]>• Lecture 18 – Chapter 2: Resource Theories

• Lecture 19 – Chapter 2: Chemistry and Scheduling

• Lecture 20 – Chapter 2: Manufacturing

• Lecture 21 – Chapter 2: Monoidal Preorders

• Lecture 22 – Chapter 2: Symmetric Monoidal Preorders

• Brendan Fong and Hugo Nava-Kopp, Additive monotones for resource theories of parallel-combinable processes with discarding.

A mathematical theory of resources is Tobias Fritz’s current big project. He’s already explained how ordered monoids can be viewed as theories of resource convertibility in a three part series on this blog.

Ordered monoids are great, and quite familiar in network theory: for example, a Petri net can be viewed as a presentation for an ordered commutative monoid. But this work started in symmetric monoidal categories, together with my (Oxford) supervisor Bob Coecke and Rob Spekkens.

]]>Tobias Fritz, Eugene Lerman and David Spivak have all written articles here about their work, though I suspect Eugene will have a lot of completely new things to say, too. Now it’s time for me to say what my students and I have doing.

]]>Tobias Fritz, Eugene Lerman and David Spivak have all written articles here about their work, though I suspect Eugene will have a lot of completely new things to say, too. Now it’s time for me to say what my students and I have doing.

]]>I am thinking that if the associativity is not true, a nested association is necessary, so that (the association like the boat on the river) or block copolymers could be solved correctly. ]]>

It looks like a very beautiful book! I’ve included a reference in the upcoming new version of the paper.

]]>One can illustrate what John said with the example of building a table:

How would you model this is linear logic? What’s the operational meaning of all the quantifiers, including negation? (I’m relatively ignorant of linear logic, so this is a genuine question.)

See also Section 10.1 of the paper. If my comparison to linear logic seems too naive, I’d be glad to know.

]]>