作为有限布尔代数上预层的效应代数
环与代数
2019-04-25 v2
摘要
对于效应代数 ，我们考察了从有限布尔代数到 的所有态射构成的范畴。该范畴可以描述为有限布尔代数范畴上预层 的元素范畴。我们证明，效应代数 的一些性质（作为正交代数、Riesz 分解性质、作为布尔代数）可以通过预层 的元素范畴的性质来刻画。我们证明，效应代数的张量积表现为有限布尔代数自由积沿包含函子的左 Kan 扩张。作为推论，效应代数的张量积可以通过有限布尔代数上预层的 Day 卷积来表达。
引用
@article{arxiv.1705.06498,
title = {Effect algebras as presheaves on finite Boolean algebras},
author = {Gejza Jenča},
journal= {arXiv preprint arXiv:1705.06498},
year = {2019}
}