0586132人目の素数さん垢版 | 大砲2024/05/06(月) 18:51:15.83ID:ZxBZ9IvW 微分形式を計算規則で公理的に定義する立場って存在すんの? 多様体上の関数上の加群であることくらいは記述できても、自由加群であることとか合成(特に制限)に関することを上手く記述できそうだと思えないが