符号操作的 allegory 理论
计算机科学中的逻辑
2023-05-04 v1
摘要
从（抽象）语法的数学理论出发，我们发展了一种关于符号操作的通用关系理论，该理论相对于一般的语法概念参数化并对其进行解释。我们借助自由代数与单子等范畴论概念对语法建模，并表明通过将此类概念扩展到 allegory 环境中，可获得一种类重写系统风格的符号操作通用理论。由此，我们得到一种扩展的关系演算，用以解释基于语法的重写。我们通过推广并统一重写中的里程碑式结果（如并行移动与 Tait-Martin-Löf 技术）来见证该关系方法的有效性。
引用
@article{arxiv.2305.01772,
title = {Allegories of Symbolic Manipulations},
author = {Francesco Gavazzo},
journal= {arXiv preprint arXiv:2305.01772},
year = {2023}
}