余積
#Fleeting_Notes
余積(coproduct)
圏論の
積
の
双対
$ A + B
(論理)
論理和
(集合論)
非交和
(型理論)
依存対型
(ホモトピー論)
全空間
確認用
Q. 余積
メモ
relationship between type theory and category theory in nLab
調査用
Google.icon
余積(日)
Google.icon
Coproduct(英)
Wikipedia.icon
余積 - Wikipedia(日)
余積(検索) - Wikipedia(日)
Wikipedia.icon
Coproduct - Wikipedia(英)
Coproduct(検索) - Wikipedia(英)
#A+B