接続って純代数的に定義できなくてもどかしい。