组合代数的内部操作符
摘要：运用运算符的概念，我们讨论了使用组合代数的多项式和组合完备性的一般框架，其中包括经典的SK-代数，线性的BCI-代数，平面的BI(•)-代数以及编织的BCpmI-代数。我们证明了每个可扩展的组合代数都对应着一个规范闭合的运算符，我们称之为组合代数的内部运算符。内部运算符的构造是从闭合的运算符到可扩展的组合代数的遗忘函子的左伴随。作为副产物，我们推导了上述组合代数类的可扩展性公理。
作者：Masahito Hasegawa
论文ID：2211.11118
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22