正交模格、Foulis半群与Dagger核范畴
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
摘要：
本文是arXiv：0902.2355的续篇，继续通过匕首核范畴研究量子逻辑。它发展了这些范畴与正交模格和Foulis半群之间的关系。后两个概念之间的关系在20世纪60年代被发现。目前的范畴观点提供了一个更广泛的背景下，并重建这种关系之间的正交模格和Foulis半群作为特殊的例子。
英文摘要：
This paper is a sequel to arXiv:0902.2355 and continues the study of quantum logic via dagger kernel categories. It develops the relation between these categories and both orthomodular lattices and Foulis semigroups. The relation between the latter two notions has been uncovered in the 1960s. The current categorical perspective gives a broader context and reconstructs this relationship between orthomodular lattices and Foulis semigroups as special instance.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
