スピヴァック・モデルとの違いは： アンビエント圏に集合圏ではなくて、関係の2-圏を使う。 関係2-圏の2-射は、関係の変更〈mutation〉。 関係と変更の2-圏を s2RelMu と書く。 図式はストリング図かエリア図を使う。エリア図の場合： ノード： 変更〈mutati…

stratifiedの訳語はよくわからん。 Title: Stratified fibre bundles Authors; Hans-Joachim Baues and Davide L. Ferrario Pages: 41p URL: https://arxiv.org/abs/math/0208185 1章 序文： フィルター付き空間とは ∅⊆X0⊆…⊆Xn = X という包含系列で、差分 D…

典型ファイバーは標準ファイバー〈standard fiber〉ともいう。 構造群の一般化として、構造亜群、構造圏がある。 構造圏（構造亜群含む）の場合、典型ファイバーは複数ある。 構造圏の位相表現（ρ:F→Top）の像圏の対象が典型ファイバー。 ファイバーチャート…