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