nLab
monoidal category module

A monoidal category module over a monoidal category V is a category C and an action

:V×CC\otimes : V \times C \to C

which satisfies the usual axioms of an action/module up to coherent isomorphism.