主要给出了凝聚式Quantale的具体构造,讨论了它们之间的关系;证明了凝聚式Quantale范畴是m-半格范畴的反射子范畴。
The main purpose is to give the ways of constructing coherent Quantale, and to investigate the relation between these coherent Quantale; it is proved that the category of coherent Quantale is a reflective subcategory of the category of m-semilattices.