• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Order >Quantum Logic in Dagger Kernel Categories
【24h】

Quantum Logic in Dagger Kernel Categories

机译：Dagger内核类别中的量子逻辑

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categorical/logical/order-theoretic properties, in terms of kernel fibrations, such as existence of pullbacks, factorisation, orthomodularity, atomicity and completeness. For instance, the Sasaki hook and and-then connectives are obtained, as adjoints, via the existential-pullback adjunction between fibres.
机译：本文从范畴逻辑的角度研究量子逻辑，并从最小假设出发，即对合/匕首和核的存在。结果结构变成（1）包含许多令人感兴趣的示例，例如关系的类别，部分注入，希尔伯特空间（也是模相位）和布尔代数，以及（2）具有有趣的分类/逻辑/顺序理论性质就核纤维而言，例如回弹的存在，分解，正模量，原子性和完整性。例如，Sasaki钩子和and-then的连接词是通过纤维之间的存在性回拉附加词作为伴随词获得的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号