研究L-子坡代数范畴L-SInc的性质,首先给出了L-子坡代数范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回.其次,定义了坡代数L-余塔的概念,以及由所有坡代数L-余塔构成的范畴IncCL,证明了在一定条件下,范畴L-SInc与范畴IncCL同构.
Category of L-subinclines and its properties are studied.Firstly,the category of L-subinclines L-SInc is defined,and it is proved to be a topological category on the category of inclines,the formation of equalizer and product in L-SInc are given,and it is proved that the category L-SInc has pull back.Secondly,the consept of L-cotower of inclines and the category of them are defined,it is proved that,the category L-SInc and category IncCL are isomorphic under some appropriate condition.