接微分／余接微分、ヤコビ表示、シュバレー／アイレンベルク

幾何っぽい

2019年5月3日/4日に連投している。

関手に、ゼー〈З〉とかデー〈Д〉とか名前を付けて、ヤコビ表示／ヤコビ形式と呼んでいる。ベクトルバンドルの圏から加群層の圏への関手と捉えている。これらの概念は、

の「接微分、余接微分」と同じ。これだけだと名前を変えただけだな。

シュバレー／アイレンベルク関手と一緒に考えないと面白くない。