依存積型
#Fleeting_Notes
依存積型(dependnt product type)、パイ型(Π型)、
依存関数型
(dependent function type)
依存関数型(dependent function type)や、パイ型(Π-types)などいろいろ呼び方がある
表記1
$ \prod_{x:A}B(x)
$ B(x)
: 依存型
表記2
$ \Pi_{(x:A)} B(x)
確認用
Q. 依存積型
関連
依存和型
メモ
関数型 -- ホモトピー型理論
調査用
Google.icon
依存積型(日)
Google.icon
Dependnt product type(英)
Wikipedia.icon
依存積型 - Wikipedia(日)
依存積型(検索) - Wikipedia(日)
Wikipedia.icon
Dependnt product type - Wikipedia(英)
Dependnt product type(検索) - Wikipedia(英)