Timeline for Clarification on definition of closed $\mathcal{C}$-module for a category $\mathcal{C}$
Current License: CC BY-SA 4.0
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 |