在可积锥的类别中解释德-芬涛定理（长版）
计算机科学中的逻辑
2026-05-18 v1
摘要
我们在概率语义文献中建立两种结果之间的联系：雅各布斯和斯塔森因类别论语言所述的德-芬涛定理形式化，以及梅利耶等人关于线性逻辑自由指数通用构造所提出的方法，该构造已在克鲁比尔等人于概率一致性空间模型中实现。这两种构造的结构接近性显而易见，但将这种联系形式化化需要对随机核类别与可积锥类别之间关系进行技术发展，这两个类别是概率语义中众所周知的类别。随后我们利用这一联系，给出概率一致性空间 !Bool 的总元素的表征。
引用
@article{arxiv.2605.15402,
title = {Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)},
author = {Crubillé Raphaëlle},
journal= {arXiv preprint arXiv:2605.15402},
year = {2026}
}