المعادلات النحوية

التحدث الرسمي، كلاص النحوي مثل pregroups توفر الأسلاك بين الكلمات من أجل توضيح تفاعلاتها، وهذا يتيح للتحقق من صحة النحوية للجمل والجمل.في هذه الورقة، نقدم أيضا الأسلاك داخل الكلمات.سيمكننا هذا من تحديد البنيات النحوية التي نتوقع أن نكون متساوية أو مرتبطة ارتباطا وثيقا.وبالتالي، فإن عملنا يمهد الطريق لنظرية القواعد الجديدة، التي توفر حقائق نحوية رواية.نقدم نظرية NOGO للحقيقة أن أسلاكنا للكلمات لا معنى لها على الأقران Preordered، وهو النموذج الذي يستغرقه Calmatical Calculi عادة.بدلا من ذلك، يتطلبون المخططات - أو معادلين، (مجاني) فئات حرفية.

Diagrammatically speaking, grammatical calculi such as pregroups provide wires between words in order to elucidate their interactions, and this enables one to verify grammatical correctness of phrases and sentences. In this paper we also provide wirings within words. This will enable us to identify grammatical constructs that we expect to be either equal or closely related. Hence, our 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.