A monoidal category module over a monoidal category V is a category C and an action
\otimes : V \times C \to C
which satisfies the usual axioms of an action/module up to coherent isomorphism.