* derivation, [[nLab:coderivation]] * [[graded derivation]], [[nLab:differential graded algebra]], [[nLab:de Rham complex]] * [[exterior derivative]] of a differential k-form, interior product (antiderivation of degree $-1$) * [[nLab:Chevalley-Eilenberg algebra]] of a [[nLab:Lie algebra]], [[nLab:Cartan calculus]] * Goodwillie calculus (differential calculus of homotopy functors) * of sets, [pdf](http://www.isical.ac.in/~prob2007/abstract/khmaladze.pdf) * of combinatorial species * of data types, [pdf](http://www.cs.nott.ac.uk/~txa/publ/partial-draft.pdf) * [[nLab:connection]]