Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal category. The paper by Berger-Moerdijk shows that in some cases $\mathcal V$-$\mathbf{Cat}$ admits the so-called canonical model structure (weak equivalences are Dwyer-Kan equivalences). Typical examples are obtained taking $\mathcal V = \mathbf{Set}$, $\mathcal V = \mathbf{sSet}$ or $\mathcal V = \mathbf{Ch}(k)$ (the category of complexes of $k$-modules). My question is the following:

Are there reasonable hypothesis on $\mathcal V$ which ensure that $\mathcal V$-$\mathbf{Cat}$ is a closed symmetric monoidal model category?

The case $\mathcal V = \mathbf{Ch}(k)$ gives the known model structure on the category $\mathbf{dgCat}$ of dg-categories, and the homotopy category $\mathrm{Ho}(\mathbf{dgCat})$ is indeed a closed symmetric monoidal category - even if I actually don't know if $\mathbf{dgCat}$ is a monoidal model category (with the right compatibility conditions). Is a similar result reasonable also for $\mathcal V = \mathbf{sSet}$? I couldn't find any reference about internal homs in the homotopy category of simplicially enriched categories, even if I have in mind some possible candidates...

PS: this question is possibly related to this onethis one.

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal category. The paper by Berger-Moerdijk shows that in some cases $\mathcal V$-$\mathbf{Cat}$ admits the so-called canonical model structure (weak equivalences are Dwyer-Kan equivalences). Typical examples are obtained taking $\mathcal V = \mathbf{Set}$, $\mathcal V = \mathbf{sSet}$ or $\mathcal V = \mathbf{Ch}(k)$ (the category of complexes of $k$-modules). My question is the following:

Are there reasonable hypothesis on $\mathcal V$ which ensure that $\mathcal V$-$\mathbf{Cat}$ is a closed symmetric monoidal model category?

The case $\mathcal V = \mathbf{Ch}(k)$ gives the known model structure on the category $\mathbf{dgCat}$ of dg-categories, and the homotopy category $\mathrm{Ho}(\mathbf{dgCat})$ is indeed a closed symmetric monoidal category - even if I actually don't know if $\mathbf{dgCat}$ is a monoidal model category (with the right compatibility conditions). Is a similar result reasonable also for $\mathcal V = \mathbf{sSet}$? I couldn't find any reference about internal homs in the homotopy category of simplicially enriched categories, even if I have in mind some possible candidates...

PS: this question is possibly related to this one.

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal category. The paper by Berger-Moerdijk shows that in some cases $\mathcal V$-$\mathbf{Cat}$ admits the so-called canonical model structure (weak equivalences are Dwyer-Kan equivalences). Typical examples are obtained taking $\mathcal V = \mathbf{Set}$, $\mathcal V = \mathbf{sSet}$ or $\mathcal V = \mathbf{Ch}(k)$ (the category of complexes of $k$-modules). My question is the following:

Are there reasonable hypothesis on $\mathcal V$ which ensure that $\mathcal V$-$\mathbf{Cat}$ is a closed symmetric monoidal model category?

The case $\mathcal V = \mathbf{Ch}(k)$ gives the known model structure on the category $\mathbf{dgCat}$ of dg-categories, and the homotopy category $\mathrm{Ho}(\mathbf{dgCat})$ is indeed a closed symmetric monoidal category - even if I actually don't know if $\mathbf{dgCat}$ is a monoidal model category (with the right compatibility conditions). Is a similar result reasonable also for $\mathcal V = \mathbf{sSet}$? I couldn't find any reference about internal homs in the homotopy category of simplicially enriched categories, even if I have in mind some possible candidates...

PS: this question is possibly related to this one.

Source Link

When does the canonical model structure on $\mathcal V$-$\mathbf{Cat}$ give a structure of monoidal model category?

Let $\mathcal V$ be a closed symmetric monoidal model category. It is well known that the category $\mathcal V$-$\mathbf{Cat}$ of $\mathcal V$-enriched categories is itself a closed symmetric monoidal category. The paper by Berger-Moerdijk shows that in some cases $\mathcal V$-$\mathbf{Cat}$ admits the so-called canonical model structure (weak equivalences are Dwyer-Kan equivalences). Typical examples are obtained taking $\mathcal V = \mathbf{Set}$, $\mathcal V = \mathbf{sSet}$ or $\mathcal V = \mathbf{Ch}(k)$ (the category of complexes of $k$-modules). My question is the following:

Are there reasonable hypothesis on $\mathcal V$ which ensure that $\mathcal V$-$\mathbf{Cat}$ is a closed symmetric monoidal model category?

The case $\mathcal V = \mathbf{Ch}(k)$ gives the known model structure on the category $\mathbf{dgCat}$ of dg-categories, and the homotopy category $\mathrm{Ho}(\mathbf{dgCat})$ is indeed a closed symmetric monoidal category - even if I actually don't know if $\mathbf{dgCat}$ is a monoidal model category (with the right compatibility conditions). Is a similar result reasonable also for $\mathcal V = \mathbf{sSet}$? I couldn't find any reference about internal homs in the homotopy category of simplicially enriched categories, even if I have in mind some possible candidates...

PS: this question is possibly related to this one.