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.

Last revised on July 3, 2009 at 16:25:26. See the history of this page for a list of all contributions to it.