摘要

在Abel范畴中定义子对象的和,并利用拉回与推出给出子对象交与和的等价定义,证明子对象的交与和满足结合律,以及Abel范畴上的模律与蝴蝶引理.