伴侣、因果关系和密度
摘要：在完全格上的抽象共识环境中，一致的函数概念使得能够引入共识证明原则的增强。最大的一致函数，称为伴随函数，包含了大多数增强特性，并且被证明具有许多优良特性。在普遍共代数中，对应的概念是一个最终分配法则。我们展示了当最终分配法则存在时，它是一个单子，且与给定函数子的最终序列的密度单子相一致。另外，我们通过使用一个新的抽象因果概念来刻画这个密度单子在集合上。特别地，我们得到在流上，由分配法则或GSOS规范定义的函数正是因果函数。回到共识证明原则的增强，我们最终得到任何因果函数都能够产生一个有效的上至上下文技术。
作者：Damien Pous, Jurriaan Rot
论文ID：1712.08526
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22