differential bundle は、Robin Cockett, Geoffrey Cruttwell が使っている。ここでは、 differential vector bundle = vector bundle with covariant derivative DiffVectBdl[-] を定義するが、下部構造にVectBdl[-] がいる。本編記事 訂正＋α： 逆方向グロ…

"with connection"の意味で"Connectioned"を使うことにする。 ゲージ場＝Connectioned Principal Bundle=ConnPrinBdl 微分ベクトルバンドル＝DiffVectBdl 同伴構成関手＝Ass関手は、ConnPrinBdl(G) × Rep(G) → DiffVectBdl という関手で： 接続付きG主バンド…