直和
直和(ちょくわ、Direct Sums)
直和の用法は大まかに以下に分かれるらしい
集合論的用法
代数学的用法
圏論的用法
ダブりの無い二つの空間の和
交わりを持たない和(disjoint union)
これは集合論的直和の意味で、非交和
代数学的直和は
TODO
圏論的用法の場合、直和は余積(coproduct)になる
現代では使わないほうが良いのではと思う
確認用
Q. 直和の集合論的用法は
Q. 直和の代数学的的用法は
Q. 直和の圏論論的用法は
Q. 直和と非交和の違いは
参考
ベクトル空間の和・直和の定義とその次元の等式の証明 | 数学の景色
和空間・直和空間・補空間 ～具体例と証明～   - 理数アラカルト -
集合.10　直和（非交和、無縁和） - レストの数学ブログ
直和 (位相空間論) - Wikipedia
Direct sum - Wikipedia
猫番 — 余積
/mrsekut-p/余積
『数物系のための圏論 : 導来圏, 三角圏, A∞圏を中心に』P19
関連
(論理) 存在量化
(集合) 非交和
(圏論) 依存和(dependent sum)
(型理論) 依存対型(ブラケット型)
(論理) 排他的論理和
(圏論) モノイド積
(集合) 直積集合
#A+B
#集合 #数学