余極限
#Fleeting_Notes
余極限(colimit)
極限と余極限
確認用
Q. 余極限
関連
(論理)
帰納
(集合) ？
(圏論) 余極限
(型理論)
帰納的型
, W-型, M-型
参考
computational trilogy in nLab
調査用
Google.icon
余極限(日)
Google.icon
Colimit(英)
Wikipedia.icon
余極限 - Wikipedia(日)
余極限(検索) - Wikipedia(日)
Wikipedia.icon
Colimit - Wikipedia(英)
Colimit(検索) - Wikipedia(英)