摘要
研究坡代数中L-理想所构成的范畴L-Id的性质。给出了坡代数中L-理想范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回。定义了坡代数理想L-余塔的概念,以及由所有坡代数理想L-余塔构成的范畴IncC L|Id,证明了在一定条件下,范畴L-Id与范畴IncC L|Id同构。
Category of L-ideals in inclines L-Id and its properties are studied in this paper. Firstly, the category of L-ideals in inclines is defined, and it is proved to be a topological category on the category of inclines, the formation of equalizer and product in L-Id are given, and it is proved that the category L-Id has pull back. Secondly, the consept of L-cotower of ideals in inclines and the category of them is defined, it is proved that, the category L-Id and category IncLC IId are isomorphic under some appropriate condition.
出处
《模糊系统与数学》
CSCD
北大核心
2013年第6期79-85,共7页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(11071151)
陕西省自然科学基金资助项目(2010JM1005)
陕西省教育厅专项科研计划项目(11JK0484)
关键词
坡代数
L-理想
拓扑范畴
等子
乘积
同构
Incline
L-ideal
Topological Category
Equalizer
Product
Isomorphic
