子對象和

子對象和(sum of subobjects)代數系和與集合併的推廣.設{A; };E，為範疇若中對象A的一個子對象簇，u;:A;->A為相應的單態射.若A有一個子對象A',u:A'}A為相應的單態射，使得:對任意單態射w; 必有u.=w;同時對留中任意態射f:A->B，存在留中對象Br與單態射B，以及態射.f;} :A;->B'使.f`o ur=}關，，同時存在態射fr :Ar-}Br使.f，則稱A'為{A; };Er之和，記為}A或UA(此時也稱之為並.在同構(等價)意義下它是由(A; };E，惟一確定的.在正合範疇中(因此在阿貝爾範疇中)藝A總是存在的.此外，對阿貝爾範疇，若A, , Az都是A的子對象，則有同構(等價)。