整 rig 的表示定理及其在剩余格中的应用
范畴论
2015-10-22 v1 逻辑
表示论
摘要
我们证明，Sets中的任意整 rig 都是（函子地）某个实局部整 rig 层的总体截面 rig。我们还表明，该表示结果可提升为剩余整 rig，并进一步限制于这些的簇。特别地，作为推论，我们得到了关于预线性剩余并半格的表示定理，以全序纤维表述。该结果在 MV-代数 层面的限制与 Dubuc-Poveda 表示定理一致。
引用
@article{arxiv.1510.06332,
title = {A representation theorem for integral rigs and its applications to residuated lattices},
author = {J. L. Castiglioni and M. Menni and W. J. Zuluaga Botero},
journal= {arXiv preprint arXiv:1510.06332},
year = {2015}
}
备注
Manuscript submitted for publication