monoidal category module

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.

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