A monoidal category module over a monoidal category is a category and an action
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.