论文部分内容阅读
研究坡代数中L-理想所构成的范畴L-Id的性质.给出了坡代数中L-理想范畴的定义,证明了其为坡代数范畴上的拓扑范畴,给出了其中等子和乘积的构造,证明了它有拉回.定义了坡代数理想L-余塔的概念,以及由所有坡代数理想L-余塔构成的范畴IncC |Id,证明了在一定条件下,范畴L-Id与范畴IncC |Id同构.