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.

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