Extrusion, contraction: their discretization via Whitney forms

The v×B term in eddy current equations for conducting fluids is an instance of contraction of a differential form by a vector field. We search for a natural way to discretize such contractions. Looking at the operation of extrusion of a manifold, which is dual to contraction, provides the main clue. Two example applications, Carpenter's gauge and Eulerian computations in MHD problems, are suggested.