逻辑量子模与量子b模之间的范畴等价

IF 0.4 4区数学 Q4 LOGIC

Mathematical Logic Quarterly Pub Date : 2023-07-20 DOI:10.1002/malq.202200062

Xianglong Ruan, Xiaochuan Liu

引用次数: 0

摘要

本文介绍了逻辑量子模块的概念。证明了逻辑量子模的范畴与量子b模的范畴之间存在对偶等价，即每个量子b模都可以自然嵌入到逻辑量子模中，即包络量子模中。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A categorical equivalence between logical quantale modules and quantum B-modules

This paper introduces the notion of logical quantale module. It proves that there is a dual equivalence between the category of logical quantale modules and the category of quantum B-modules, in the way that every quantum B-module admits a natural embedding into a logical quantale module, the enveloping quantale module.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Mathematical Logic Quarterly 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.