Quantale上的一致拓扑空间

利用理想诱导的弱同余关系在Quantale上构造一致结构与一致拓扑,证明了所得的一致拓扑空间是不连通的、零维的、局部紧的、完全正则的第一可数空间,并且Quantale中的运算关于导出的一致拓扑是连续的。同时,给出了商拓扑的等价刻画。