微分射、ライプニッツ射、導分、共変微分 - (新) 檜山正幸のキマイラ飼育記 メモ編 の続き。相対可換環 Φ/K （Kは体）があるとして、DerK(Φ) = Der(Φ/K) は可換環の導分で、Kはゼロにするもの。導分はこの意味で使うのがいいかもしれない。XとYが(Φ/K)-加群…

構造・構成素の乱用は、一番よくやるやつ。M = (M, *, e) とか。コジュール接続だと： E = (E, S, ∇) where S = Γ(E) S = (E, S, ∇) ∇ = (E, S, ∇) 名前付き順序付きタプルを使って、 X = {v-bundle: E, sec-space, deriv: ∇} とすれば、 X.v-bundle = E X.s…