Holmstrom Closed monoidal category

Like a Monoidal category, but using the category of categories and adjunctions instead of the category of categories and functors. Get various 2-categories: Closed monoidal cats, closed symmetric monoidal cats, closed modules (or algebras) over a given closed symmetric monoidal category. See Hovey pp. 106.

Examples: Closed monoidal cats: Sets, R-mods, Bimod-R. Closed symmetric monoidal cats: k-spaces, CG spaces, HoSsetHo \ Sset, the homotopy category of k-spaces.

nLab page on Closed monoidal category

Created on June 9, 2014 at 21:16:13 by Andreas Holmström