The correct notion of a derivation for C^∞-rings. Can be defined as a Beck derivation in the category of C^∞-rings.
See the article Kähler C^∞-differentials of smooth functions are differential 1-forms for motivation and definition and the article smooth differential forms form the free C^∞-DGA on smooth functions for further developments and applications like the Poincaré lemma.
Last revised on January 8, 2025 at 16:55:13. See the history of this page for a list of all contributions to it.