A closed monoidal category module is a monoidal category module over a closed symmetric monoidal category such that the (left) action
extends to a two-variable adjunction. Such closed modules can be identified with -enriched categories having powers and copowers.
This is in chapter 4 of
Last revised on January 8, 2009 at 22:47:21. See the history of this page for a list of all contributions to it.