Topos中的交连续偏序对象

基于topos中的偏序对象,在topos中引入了类似于经典格论中的交连续偏序对象的定义,给出了交连续偏序对象的等价刻画,将一些格论中熟知的结论提升到topos中。