本編の 微分はライプニッツ法則に支配されている - 檜山正幸のキマイラ飼育記 (はてなBlog) の拡張として、ベクトル場と関数環の導分の対応がある。しかし、単なる代数的導分ではどうもうまくいかない。「導分←→ベクトル場」対応ではなくて、「導分層←→ベク…

アダマールの補題ってのがある。 https://ncatlab.org/nlab/show/Hadamard+lemma これは、テイラー／マクローリン展開の精密化になっているから、アダマール形式のテイラー／マクローリン展開と言っていいと思う。アダマール商を作用とみなして、アダマール…