族
族(ぞく、family)、
集合族
添字付けされた元(要素)の集まりを族
番号付けられた元(要素)の集まりを族
イメージとしてはプログラミング言語でよくあるリスト・配列がかなり近いものになる
集合
$ X → Y
$ A_1, A_2, A_3
がそれぞれ集合で、
$ 1,2,3
が添字(index)
族の具体的なもの
[[1,2,3], [4,5,6], [7,8,9,10]]
族 (数学) - Wikipedia
集合族（集合系）| 集合 | 数学 | ワイズ
集合族と添字集合 | 数学の景色
関連
テンソル
ファイブレーション
(論理)
述語
(集合) 族、集合族
(圏論)
ディスプレイ射
(display morpshism/display map?)
(型理論)
依存型
#集合論
#数学