计算机科学>计算机科学中的逻辑
标题: 粘性范畴的规则代数
摘要: 我们证明了最著名的重写图形结构的方法,即双推(DPO)方法,具有沿自然意义上的关联重叠的规则顺序组合的概念。 值得注意的是,我们的结果适用于$\mathcal{M}$-粘合剂类别的一般设置。 这个观察补充了DPO重写的经典并发定理。 然后,我们继续在这两种设置中定义规则代数,其中允许的最一般的范畴是具有$\mathcal{M}$-有效并的$\mathcal{M{$-粘合范畴的有限(或有限限制)。 此外,如果给定的此类类别具有$\mathcal{M}$-初始对象,则生成的规则代数是酉的(除了是关联的)。 我们证明,在这种情况下,可以获得规则代数的规范表示,这为应用该概念定义和计算随机DPO重写系统中可观测的统计矩的演化提供了可能性。