Frobenius伪幺半群的凝聚性及其线性证明的几何
计算机科学中的逻辑
2023-06-22 v5
摘要
我们证明了幺半双范畴中Frobenius伪幺半群和snakeorators的凝聚定理。由此我们得到了非对称乘法线性逻辑中证明的一种三维记号，具有几何的等价概念，且不需要全局正确性准则或thinning links。我们认为传统的证明网是这些三维图的二维投影。
引用
@article{arxiv.1601.05372,
title = {Coherence for Frobenius pseudomonoids and the geometry of linear proofs},
author = {Lawrence Dunn and Jamie Vicary},
journal= {arXiv preprint arXiv:1601.05372},
year = {2023}
}