I had an interesting thought.

Earlier we established that a recipe can be given as a string diagram.

And here, we're establishing that string diagrams can be given a corresponding equation (up to isomorphism).

So does that mean that every recipe can be written in as an equation? For some reason, I find humor in that.

Earlier we established that a recipe can be given as a string diagram.

And here, we're establishing that string diagrams can be given a corresponding equation (up to isomorphism).

So does that mean that every recipe can be written in as an equation? For some reason, I find humor in that.