松島の多様体とか古いからいいけど、最近の微分幾何学者はいつまで圏論を拒否すんだよ。微分形式とかベクトル場とか、大域的な古いの全部、層で書き直して、すっきりしたいと思わないの？

今、複素幾何の講義聞いてるんだけど、先生がファイバーバンドルの話しを延々とするわけ。いや、それ層でいいじゃんって思って、授業中ずっと暇だった。