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.