星座とは、点と矢印で出来た図形=有向グラフ。4頂点5辺。
頂点:
辺:
- 一点から空間へ 1→2
- 大域セクション 2→3
- 体から可換環へ 1→3
- 局所セクション 2→4
- 単数形から複数形へ 3→4
- https://bit.ly/3izcc8f constellation-of-linear-algebra.svg
digraph{ /*頂点:*/ N1 [label="ベクトル空間の線形代数"] N2 [label="ベクトルバンドルの理論"] N3 [label="加群の線形代数"] N4 [label="加群層の理論"] /*辺:*/ N1 -> N2[label="一点から空間へ"] N2 -> N3[label="大域セクション"] N1 -> N3[label="体から可換環へ"] N2 -> N4[label="局所セクション"] N3 -> N4[label="単数形から複数形へ"] }
- https://bit.ly/3gukywd constellation-of-linear-algebra-2.svg
digraph{ /*頂点:*/ N1 [label="ベクトル空間の線形代数"] N2 [label="ベクトルバンドルの理論"] N3 [label="加群の線形代数"] N4 [label="加群層の理論"] /*辺:*/ N1 -> N2[label="(底空間)\n一点から空間へ"] N2 -> N3[label="大域セクション"] N1 -> N3[label="(スカラー)\n体から可換環へ"] N2 -> N4[label="たくさんの\n局所セクション"] N3 -> N4[label="単一から重なった複数へ"] }
- https://bit.ly/3f2bRsx constellation-of-linear-algebra-3.svg
digraph{ /*頂点:*/ N1 [label="ベクトル空間"] N2 [label="ベクトルバンドル"] N3 [label="加群"] N4 [label="加群層"] /*辺:*/ N1 -> N2[label="(底空間)\n一点から空間へ"] N2 -> N3[label="大域セクション"] N1 -> N3[label="(スカラー)\n体から可換環へ"] N2 -> N4[label="たくさんの\n局所セクション"] N3 -> N4[label="単一から重なった複数へ"] }