In differential geometry, tangent vectors are defined as derivations. These are linear maps satisfying Leibniz's rule.

For , the connection between the usual notion of a tangent vector and derivations is provided by the directional derivative.

The reason for viewing tangent vectors as derivations is because the usual notion of a tangent vector doesn't generalize to abstract manifolds.