This work paves the way for a new theory of grammar that provides novel “grammatical truths.” We give a nogo-theorem for the fact that our wirings for words make no sense for preordered monoids, the form which grammatical calculi usually take. Instead, they require diagrams – or equivalently, (free) monoidal categories.

Download PDF