基于范畴语法的语言学分析、描述与类型学探索（TheBench指南）
Linguistic Analysis, Description, and Typological Exploration with Categorial Grammar (TheBench Guide)
AI总结：
本文介绍了TheBench工具，基于单子结构和范畴语法，通过将应用转变为组合并指定句法与语义命令关系，实现自然语言分析、跨语言比较及语法模型训练。
摘要：
TheBench是一个研究自然语言中单子结构的工具。它用于编写单子语法以探索分析、通过语言的范畴比较不同语言，并从句法为潜在变量的形式-意义对中训练语法模型。单子结构是仅采用组合语义的元素的二元组合。TheBench本质上是将这一思想句法化的老派范畴语法，这意味着，尽管句法是自主的（回想无色的绿思想狂怒地睡觉），但宝藏在于它在每一步所携带的行囊，即语义，更狭义地说，是指示范畴指称选择及其在此类结构中决策的后续占位符的谓词-论元结构。老派中也有新思想。与传统的范畴语法不同，在单子分析中，应用被转变为组合。此外，每个对应关系都需要指定两种命令关系，一种关于句法命令，另一种关于语义命令。TheBench的单子语法仅包含由这一分析不变量（即组合）塑造的合成元素（在数学范畴论中称为“对象”）。因此，任何分析步骤的两个成分（命令关系）都必须是函数（范畴论中的“箭头”）。TheBench是该思想的一个实现，用于迭代开发此类函数以及合成元素的语法。
英文摘要：
TheBench is a tool to study monadic structures in natural language. It is for writing monadic grammars to explore analyses, compare diverse languages through their categories, and to train models of grammar from form-meaning pairs where syntax is latent variable. Monadic structures are binary combinations of elements that employ semantics of composition only. TheBench is essentially old-school categorial grammar to syntacticize the idea, with the implication that although syntax is autonomous (recall \emph{colorless green ideas sleep furiously}), the treasure is in the baggage it carries at every step, viz. semantics, more narrowly, predicate-argument structures indicating choice of categorial reference and its consequent placeholders for decision in such structures. There is some new thought in old school. Unlike traditional categorial grammars, application is turned into composition in monadic analysis. Moreover, every correspondence requires specifying two command relations, one on syntactic command and the other on semantic command. A monadic grammar of TheBench contains only synthetic elements (called `objects' in category theory of mathematics) that are shaped by this analytic invariant, viz. composition. Both ingredients (command relations) of any analytic step must therefore be functions (`arrows' in category theory). TheBench is one implementation of the idea for iterative development of such functions along with grammar of synthetic elements.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
