自然变换作为重写规则和单子组合
摘要：通过字符串重写的方法来简化验证范畴论构造的图形技术。我们将展示，给定的元组$(T,mu,eta)$是一个黑板，如果且仅如果$T$是字符串和重写规则类别中的一个终端对象，并且可以通过证明重写系统的可交织性来建立这一事实。我们将在黑板组合问题上说明这一技术。我们还将给出关于重写范畴的伴随的特征描述。
作者：Dexter Kozen
论文ID：1612.07273
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22