逆序∠集合范畴的完备性* (2011年)

本文引入了以完备的反Heyting代数为真子集的格值集合模型∠的概念，为运用范畴理论研究∠集合的性质，可视满足格值逆序性的集合之间映射为态射，则构成逆序∠集合范畴；研究了该范畴中等值子、余等值子与集合范畴中等值子、余等值子之间关系，并探讨了其格值乘积的点式与无点式刻画，最后证明了逆序C集合范畴为完备范畴，且具有拉回性质．