迹片 Hopf 代数与分解空间(扩展摘要)
计算机科学中的逻辑
2022-11-04 v3 范畴论
摘要
迹片(tracelets)是范畴重写系统中因果信息的内在载体。在这项工作中,我们将迹片组装为一个对称幺半分解空间,从而诱导出一个余交换的迹片 Hopf 代数。该 Hopf 代数捕捉了重写理论重要的组合与代数方面,并受到其表示理论在诸如化学反应网络等随机重写系统中的应用所推动。
引用
@article{arxiv.2105.06186,
title = {Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)},
author = {Nicolas Behr and Joachim Kock},
journal= {arXiv preprint arXiv:2105.06186},
year = {2022}
}
备注
In Proceedings ACT 2021, arXiv:2211.01102