亦称“语类语法”。一种形式语法。由波兰逻辑学家亚杜基耶维奇（Kazimierz Ajdukiewicz，1890—1963）于20世纪30年代提出，用算法检验句子是否正确得当。后来巴·希勒尔（Yehoshua BarHillel，1915—1975）、兰姆贝克（Joachim Lambek，1922— ）、刘易斯（Richard Donald Lewis，1930— ）、蒙塔古等人把它用于分析自然语言。关于“范畴”的思想以及句法和语义结构的平行关系是范畴语法的特点。包括两个基本范畴，即句子（S）和名词（N），从这两个范畴出发，所有其他各个项目和关系都可以在一个半代数式的框架里推导出来。其基础是词库，词被赋予范畴，如果词的组合正确得当，这些词都可以通过重复约分的操作，最终推导出一个基本范畴。如英语Poor John ran away.（可怜的约翰跑开了）这个句子的范畴分析如下：名词John（约翰）是基本范畴N；动词ran（跑）是派生范畴S/N，分母N表示动词可以同它前面的一个名词结合组成句子S（John ran：约翰跑了）；形容词poor（可怜的）是派生范畴N/N，表示它可以同它后面的一个名词结合组成名词短语（Poor John：可怜的约翰）；副词away（……开了）是个复杂的派生范畴{（S/N） （S/N）}，表示它同其前面的动词结合构成动词性短语（ran away：跑开了）。整个句子可以用范畴符号表达成：
按照约分原则，先把Poor和John约分，得到
；再把ran和away约分，得到
；整个表达式简化为N·S/N，再进行约分，N·（S/N）=S。这说明Poor John ran away是个合乎语法的句子，其中Poor和John组成名词短语，ran和away组成动词短语。范畴语法和数理逻辑的演算方法结合，对语法形式化起了一定的作用。出处：语言学卷 • 普通语言学