给出了Prequantale态射的定义,证明了Prequantale中的特殊元在Prequantale态射的右伴随下不变的性质.找到了Prequantale中态射与蕴......