预余Quantale态射及其性质

Precoquantale Morphism and Its Properties

给出了预余Quantale态射的概念,证明了预余Quantale中的特殊元在预余Quantale态射的左伴随下不变的性质,找到了预余Quantale中态射与蕴含运算的关系,得到了预余Quantale上的一个开映射是预余Quantale态射的充要条件.

This paper first defines a precoquantale morphism and then proves the properties of these special elements don＇t change on the left adjoint of a morphism. Meanwhile, the paper finds out the relationship between precoquantale morphism ＂＆＂ the operation of a precoquantale and obtains that an opened map of precoquantales is a necessary ＂＆＂ sufficient condition for a precoquantale morphism.