多様体M上のベクトルバンドルEに対して、そのセクション空間を対応させる関手 E ΓM(E) がメチャクチャに便利です。なんで、こんなにも便利なんだろう？ と考えてみました。マクロレベルで（多様体の圏、ベクトルバンドルの圏、可換環の圏、加群の圏、それら…