文件名称：逆序∠集合范畴的完备性* (2011年)
文件大小：226KB
文件格式：PDF
更新时间：2024-06-20 05:11:54
自然科学 论文
本文引入了以完备的反Heyting代数为真子集的格值集合模型∠的概念，为运用范畴理论研究∠集合的性质，可视满足格值逆序性的集合之间映射为态射，则构成逆序∠集合范畴；研究了该范畴中等值子、余等值子与集合范畴中等值子、余等值子之间关系，并探讨了其格值乘积的点式与无点式刻画，最后证明了逆序C集合范畴为完备范畴，且具有拉回性质．
逆序∠集合范畴的完备性* (2011年)
【文件属性】：