Gandy 机制原理的范畴论解释
离散数学
2019-04-24 v1 计算机科学中的逻辑
摘要
基于 Gandy 的计算模型原理，我们给出描述有限对象局部确定性更新的范畴论公理。我们不固定某个特定的状态范畴，而是描述这样的范畴应具备的性质。计算由一个编码了计算更新的函子建模，我们给出此类函子的抽象刻画。我们证明每个满足我们条件的更新函子都是可计算的。
引用
@article{arxiv.1904.10109,
title = {A Category Theoretic Interpretation of Gandy's Principles for Mechanisms},
author = {Joseph Razavi and Andrea Schalk},
journal= {arXiv preprint arXiv:1904.10109},
year = {2019}
}
备注
In Proceedings DCM 2018 and ITRS 2018 , arXiv:1904.09561