论文部分内容阅读
本文给出了建立在含幺半群基础上的范畴语法的代数结构，定义了范畴方程和它的解并对范畴方程的解作了分类：相容性的相关性。定理“对于范畴方程的任意一个解x，都存在唯一的本质解Y使得Y x”使得我们可以通过一定的演绎规则对词w的本质范畴作扩张以得到w的所有句法范畴。最后，作者从范畴理论的角度给出了句法范畴演绎系统的数学描述。