论文部分内容阅读
本文讨论了以推出为对象,推出态射为态射所构成的推出范畴C◇.研究了推出范畴中的上核、上积以及加法范畴的推出范畴,得到了一些结果.
具体而言,文章分为两大部分.第一个部分,首先介绍了范畴中的推出、上核、上积、加法范畴等基本概念.接着,合理定义了推出态射、诱导态射及推出态射的合成.最后,证明了两个命题,它们是本文主要结论的基础.
第二个部分,给出了推出范畴中的几个重要定理:推出范畴中上核存在的必要条件;三角可换定理;在有上积的范畴的推出范畴中,上积存在的必要条件;加法范畴的推出范畴仍为加法范畴等.