>>476>>478
微分作用素が代数的に定義できると思うなら
接続は代数的に定義できるが...
ま,どうでもいいか