摘要：本征量子和⊙-Girard量子研究

自1986年CJ Mulvey提出Quantale的概念以来，Quantale的理论就引起了数学家和逻辑学家的关注。在短短的二十余年里，量子理论提出了大量新的观点和应用。其研究涉及非交换C*-代数、线性逻辑、环理想理论和计算机科学等多个领域。 Quantale 概念的目的是为非交换 C*-代数的研究提供新的格式表征，并为量子力学提供新的见解。的数学模型，为不可替换结构的研究提供了强有力的手段。由于Quantale可以看作是Frame的泛化，其自身的内部结构也有丰富的研究内容。一方面，本文对Quantale Mapping、pre-ideal cokernel mapping、内在Quantale和⊙-Girard Quantale的一些性质进行了详细研究。另一方面，本文从范畴论的角度讨论了本征Quantale和⊙-Girard Quantale的范畴性质。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://87cpy.com/240243.html