星座とは、点と矢印で出来た図形＝有向グラフ。4頂点5辺。頂点： ベクトル空間の線形代数 ベクトルバンドルの理論 加群の線形代数 加群層の理論 辺： 一点から空間へ 1→2 大域セクション 2→3 体から可換環へ 1→3 局所セクション 2→4 単数形から複数形へ 3→4 …