补充资料：余积

余积
coproduct

;:燕…辫漫〕汾澎余积[“甲m山。;加.甲.，叨碑.能l，范畴中一族对象的 一种概念，它用态射的语言来描述(范畴上类似于)模的直和或集合的离散并的构造.设域(iel)是范畴绷中的一族带下角标的对象一个对象S，连同一些态射价:减一S，称为族戌(i任I)的令谬(。脚团喊)，如果对任何一族态射“::戌~X(i‘I)，存在唯一的一个态射“:S一X.使氏“一州‘“I).态射。都称为舍谬的堆个(而阮劝哆of血口，目喊);上积记作几。，‘(动，n:。，戒，或在I={l，…，。}时，记作s=A，.·…入，在余积的定义中的态射:常常表以n:。，“‘或(*)‘。::，.在同构的意义下，一族对象的余积是唯一定义的;它是可结合的，也是可交换的.余积是范.中一族对象的积(脚闭心ofa色在日yof。场民仿位aCa姻笋ry)的对偶概念. 空族对象(即没有对象)的余积为范晓的左零(始对象卜在一个闪比1范畴中，余积常称为巷人(亡任I)的直和(djmct sumof此.川正y)，并记作艺‘。，戒，或者在I={1，…，。}的情况下，写成Al+…+人:在结构集的范畴的大多数情况下，一族对象的余积与此族的自由积相重合，并作为规律需要特殊描述.因此，在群范畴中，其余积是群的自由积，在模范畴中，余积是模的直和，等等.在有零态射的范畴中，如果S=n:。，人(矶)是一个余积，则存在唯一确定的态射二，:s~戌，使a.二，=场。。二户0.在一个周比l范畴中，有限个对象的余积与积是同一个对象.

说明：补充资料仅用于学习参考，请勿用于其它任何用途。