代数幾何の場合：結局、Eはベクトルバンドル。Eの条件がきびしいが、引き戻ししてるから。ベクトルバンドルじゃないと、うまく引き戻しできない。前送りはなんでもできるから気にしないでいい。セクション空間の同型性の基本定理。

微分ベクトルバンドルとその準同型 - (新) 檜山正幸のキマイラ飼育記 メモ編の訂正・続き。「微分作用素が付いた」の意味で「微分〈differential〉」を形容詞に付けるのは一般的でないようだ。次のようにする。 共変微分＝コジュール接続 共変微分付き＝コジ…