态性质系统与闭包空间：范畴等价性研究
量子物理
2007-05-23 v1
摘要
我们表明，在日内瓦-布鲁塞尔方法中，通过其态和性质来描述物理实体的自然数学结构是态性质系统。我们证明了态性质系统（及态射）的范畴SP等价于闭包空间（及连续映射）的范畴Cls。我们展示了态性质系统的“态决定公理”与闭包空间的“T0分离公理”的等价性。我们还证明了态决定的态性质系统的范畴SP0等价于基于完备格的范畴L0。在这个意义上，SP与Cls的等价性推广了Erne 1984年证明的Cls0与L0的等价性。
引用
@article{arxiv.quant-ph/0105108,
title = {State property systems and closure spaces: a study of categorical equivalence},
author = {Diederik Aerts and Eva Colebunders and Ann Van der Voorde and Bart Van Steirteghem},
journal= {arXiv preprint arXiv:quant-ph/0105108},
year = {2007}
}
备注
27 pages, 0 figures