余積

圏論において、余積（よせき、双対積、双対直積、英: coproduct）あるいは圏論的和（わ、直和、英: sum, direct sum）は、集合の直和、位相空間の直和、群の自由積、加群やベクトル空間の直和などを例として含む圏論的構成である。対象の族の余積は本質的に、族の各対象がそこへの射をもつような「最も固有的でない (least specific)」対象である。