数学季刊 ›› 2006, Vol. 21 ›› Issue (3): 402-405.
摘要: 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.
中图分类号: