作为对称幺半群范畴中计算的规范形的布线图
计算机科学中的逻辑
2021-01-29 v1 离散数学
摘要
范畴论的应用常涉及对称幺半群范畴（SMCs），其中抽象过程或操作可串行与并行组合。然而，截至 2020 年，可用于处理 SMCs 的计算工具仍然匮乏。我们提出一种基于有向无环布线图 operad 的“无偏”方法来实施对称幺半群范畴。由于 SMC 的交换律及其他定律在布线图中恒等成立，无需重写规则来比较图。我们讨论了布线图 operad 的数学理论，以及其在软件包 Catlab 中的实现。
引用
@article{arxiv.2101.12046,
title = {Wiring diagrams as normal forms for computing in symmetric monoidal categories},
author = {Evan Patterson and David I. Spivak and Dmitry Vagner},
journal= {arXiv preprint arXiv:2101.12046},
year = {2021}
}
备注
In Proceedings ACT 2020, arXiv:2101.07888