What is a codifferential? Here are some definitions.
Noun
(mathematics) The projected differential of an extensor field.
(differential geometry) the formal adjoint of the exterior derivative; a differential-geometric version of the divergence operator; the exterior derivative sandwiched between two Hodge star operators with some additional factor(s) that take(s) care of the sign; the Hermitian conjugate of the exterior derivative under the inner product for k-form fields over some manifold M: