逆序L集合范畴的完备性

摘要：

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

关键词：反Heyting代数、等值子、余等值子、格值乘积、拉回

所属期刊栏目：28

分类号：O159;O154.1(代数、数论、组合理论)

资助基金：国家自然科学基金10871137；伊犁师范学院2008年度大学生科研计划课题2008XS06

在线出版日期：2011-12-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：527-531