20200507211527

ベクトル空間は自由加群の一種みたいだと思ったら、ベクトル空間は自由加群の一種だった🤔基底について考えればいいというのも、また分割統治だなあ。逆にいえば、分割統治できるから、基底が存在する対象か否かが大事なんだ。 #今日の圏論