オンライン上の某所にて「次の等式がよくわからん」と：解釈を試みてみます。この等式は結局、次の図式の可換性として表現されます。内容： 記号の約束（状況設定） 書き方の約束 微分の定義 テンソル積加群とホム加群 図式のセットアップ 3つの補題 逆関数…