研究坡代数中L-理想所构成的范畴L—Id的性质。给出了坡代数中L-理想范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回。定义了坡代数理想L-余塔的概念,以及由所有坡代数理想L-余塔构成的范畴IncL^C,证明了在一定条件下,范畴L—Id与范畴IncL^C|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.