Skip to main content
3 events
when toggle format what by license comment
Nov 19, 2019 at 17:38 comment added Mike Shulman I think for a closed $C$-module the functor $\otimes:D\times C\to D$ is supposed to have adjoints in both variables, just like the tensor product $\otimes : C\times C\to C$ of a closed monoidal category does. An $M$-model category is by definition a closed $M$-module with the additional property that $\otimes$ is a Quillen bifunctor.
Nov 19, 2019 at 13:18 history edited YCor CC BY-SA 4.0
edited tags, fixed typos
Nov 19, 2019 at 13:13 history asked Rene Recktenwald CC BY-SA 4.0