论文标题
量子的反射器
Reflectors to quantales
论文作者
论文摘要
在本文中，我们表明明显的量子反映了数量。为了获得反射，我们使用适当的较低集合构建自由数量。 明显的量化是一个posemigroup，其中某些可允许的子集需要加入，并且乘法在这些子集上分布。有时是通过所谓的选择函数指定的可允许子集。标记量化研究的研究的一个显着特征是，一小部分基本性质的公理可以使人们在数量水平上做很多传统的事情。公理足够通用，可以包括标记量子的示例，这些量子的类别，$σ$ - Quantales，preseprateles and Quantales和量子。此外，我们讨论了由posemigroup的注射式船体获得的量子的另一种反思。
In this paper, we show that marked quantales have a reflection into quantales. To obtain the reflection we construct free quantales over marked quantales using appropriate lower sets. A marked quantale is a posemigroup in which certain admissible subsets are required to have joins, and multiplication distributes over these. Sometimes are the admissible subsets in question specified by means of a so-called selection function. A distinguishing feature of the study of marked quantales is that a small collection of axioms of an elementary nature allows one to do much that is traditional at the level of quantales. The axioms are sufficiently general to include as examples of marked quantales the classes of posemigroups, $σ$-quantales, prequantales and quantales. Furthermore, we discuss another reflection to quantales obtained by the injective hull of a posemigroup.
