研究了完备偏序对象间的投射算子,给出了闭包算子和核算子的等价刻画,将一些格论中的经典结论推广到了topos中。
The concept of the projective operators between complete partially ordered objects in a topos is investigated.The characterizations of the closure operator and the kernel operator in a topos are given,which are common generalizations of the classical lattice theory.