ファイブレーション

ファイブレーション(fibration)

集合の族、ファイバー、ファイバーを持つ写像

$ E=\{(a,x) \mid a∈A,x∈B(a)\}

被覆ホモトピー性質 (covering homotopy property, CHP)

ホモトピー持ち上げ性質 (homotopy lifting property, HLP)

ホモトピー型理論で同様なものとされる概念

型理論の型の族、依存型$ B(x)

述語論理の述語$ P(x)

集合論の集合の族$ \{ A_i\}

確認用

Q. ファイブレーション

参考