nLab
monoidal category module

A monoidal category module over a monoidal category VV is a category CC and an action

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

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

Revised on July 3, 2009 16:25:26 by Eric Forgy (67.49.17.5)