Prequantale同余及其性质

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

Prequantale上最大空间式Frame商

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.