Quantale上的左(右)蕴含核映射

为了进一步讨论Quantale内部结构之间的对应关系,我们首先引入了左(右)蕴含核映射的概念;其次讨论了左(右)蕴含核映射的一些性质,左(右)蕴含Quantale商的等价刻画,并且给出了一个映射是左(右)蕴含核映射的等式刻画。最后,证明了在预Girard quantale上左(右)蕴含核映射与右(左)理想余核之间是一一对应关系。