直和
代数学的直和は、与えられた同じ型の代数系からなる族の直積のある部分空間に対して、それぞれの代数系がもつ所定の演算などの構造を成分ごとに定義することによって与えられる。
圏論における直和(英: coproduct; 余積、双対直積)とは、直積 (product) の双対概念で、次の普遍性を持つ対象 A のことである: