Cartesian product, 直積 集合族 について、の元の族: が を満たすとき と(個人的に)書く。このような族の集合を、 と書き、集合族 のcartesian productと呼ぶ。つまり、 Dependent product 型理論においては、 の代わりに や が使われる。 特に、型を添字集…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。