直和

数学における直和 は、既知の数学的対象を「貼り合わせ」て同じ種類の対象を新たに作り出す操作の一種で、歴史的経緯から対象によってやや異なる意味で用いられるが、大雑把には集合論的、代数学的、圏論的用法に大別できる。またいずれの用法においても、直和を取る対象が全て一つの大きな対象の部分となっている場合（内部直和、構造的直和）と、そのようなものを仮定しない場合（外部直和、構成的直和）を区別することができる（場合によってはそれらの記述は見かけ上大きく異なる）が、それらの間に自然な同型があるため理論上区別して扱わないこともある。そのような自然同型は、しばしば圏論的直和（あるいは双積）の普遍性によって捉えることができる。 (出典: 直和 - Wikipedia)