Prequantale同余及其性质

本文给出了Prequantale同余的概念,讨论了它与Prequantale商和核映射之间的关系,得到了Prequantale上的全体商、全体核映射和全体同余作为完备格是同构的结论．找到了与同余相对应的商的具体结构．证明了Prequantale范畴有余等子．

A Frame Nucleus on a Two-side Prequantale

In this paper, a Frame nucleus and prime elements in a Prequantale are defined. The concrete structure of a Frame prequantic quotient is considered, and the relation between the half-prime element and the Frame nucleus in a two-side Prequantale are obtained.

The Largest Spatial Frame Quotient on Prequantale

Prequantale quotient is defined in terms of prequantic nucleus, some equivalent propositions of which is obtained. Also, prequantale quotient is proved to coincide with the quotient object in PQuant up to isomorphism. At last, the concrete structure of the largest spatial frame quotient in TPQuant is given.

Prequantale态射及其性质

给出了Prequantale态射的定义,证明了Prequantale中的特殊元在Prequantale态射的右伴随下不变的性质.找到了Prequantale中态射与蕴涵运算的关系,得到了Prequantale上的一个闭映射是态射的充要条件.

Quantale的若干新的性质

讨论Quantale的若干性质,给出Prequantale构成Quantale的两个充要条件,论证在严格双侧Quantale上逆序对合对应的惟一性并给出了Quantale是分配格的一个条件。