Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeApr 4th 2016
   • (edited Apr 4th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added to _[[monoidal model category]]_ statement and proof ([here](https://ncatlab.org/nlab/show/monoidal+model+category#MonoidalStructureOnHomotopyCategoryOfMonoidalModelCategory)) of the basic statement: *** Let $(\mathcal{C}, \otimes)$ be a [[monoidal model category]]. Then 1) the [[left derived functor]] of the tensor product exsists and makes the [[homotopy category of a model category|homotopy category]] into a [[monoidal category]] $(Ho(\mathcal{C}), \otimes^L, \gamma(I))$. If in in addition $(\mathcal{C}, \otimes)$ satisfies the [[monoid axiom in a monoidal model category|monoid axiom]], then 2) the [[localization]] functor $\gamma\colon \mathcal{C}\to Ho(\mathcal{C})$ carries the structure of a [[lax monoidal functor]] $$ \gamma \;\colon\; (\mathcal{C}, \otimes, I) \longrightarrow (Ho(\mathcal{C}), \otimes^L , \gamma(I)) \,. $$ *** The first part is immediate and is what all authors mention. But this is useful in practice typically only with the second part.

   I have added to monoidal model category statement and proof (here) of the basic statement:

   ---

   Let $(\mathcal{C}, \otimes)$ be a monoidal model category. Then 1) the left derived functor of the tensor product exsists and makes the homotopy category into a monoidal category $(Ho(\mathcal{C}), \otimes^L, \gamma(I))$. If in in addition $(\mathcal{C}, \otimes)$ satisfies the monoid axiom, then 2) the localization functor $\gamma\colon \mathcal{C}\to Ho(\mathcal{C})$ carries the structure of a lax monoidal functor

   $$\gamma \;\colon\; (\mathcal{C}, \otimes, I) \longrightarrow (Ho(\mathcal{C}), \otimes^L , \gamma(I)) \,.$$

   ---

   The first part is immediate and is what all authors mention. But this is useful in practice typically only with the second part.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJun 21st 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have expanded a good bit the writeup of the proof of that statement [here](https://ncatlab.org/nlab/show/monoidal+model+category#MonoidalStructureOnHomotopyCategoryOfMonoidalModelCategory), making the associators and unitors explicit.

   I have expanded a good bit the writeup of the proof of that statement here, making the associators and unitors explicit.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeJun 21st 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexIt seems I lost my literature citation for that statement, that the localization functor on a monoidal model category satisfying the monoid axioms is lax monoidal. I wanted to add a citation to the entry. Anyone remembers it? It's not stated in Hovey's book, as far as I see.

   It seems I lost my literature citation for that statement, that the localization functor on a monoidal model category satisfying the monoid axioms is lax monoidal. I wanted to add a citation to the entry. Anyone remembers it? It’s not stated in Hovey’s book, as far as I see.

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeJun 21st 2016
   • (edited Jun 21st 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexHm, but it's simpler, isn't it. Check if I am making a mistake in the following: so let $\mathcal{C}$ be a monoidal model category with cofibrant tensor unit. Write $\mathcal{C}_c$ for the full subcategory on the cofibrant objects, and write $\gamma$ for localization at the weak equivalences. Then the inverse of the natural iso filling $$ \array{ \mathcal{C}_c \times \mathcal{C}_c &=& \mathcal{C}_c \times \mathcal{C}_c &\overset{(-)\otimes (-)}{\longrightarrow}& \mathcal{C} \\ {}^{\mathllap{\gamma_{\mathcal{C} \times \mathcal{C}}}}\downarrow && {}^{\mathllap{\gamma_{\mathcal{C}} \times \gamma_{\mathcal{C}}}}\downarrow &\swArrow_\simeq& \downarrow^{\mathrlap{\gamma_{\mathcal{C}}}} \\ Ho(\mathcal{C} \times \mathcal{C}) &\simeq& Ho(\mathcal{C})\times Ho(\mathcal{C}) &\underset{(-)\otimes^L (-)}{\longrightarrow}& Ho(\mathcal{C}) } $$ gives the structure morphism $$ \mu_{X,Y} \;\colon\; \gamma(X) \otimes^L \gamma(Y) \longrightarrow \gamma(X \otimes Y) \,. $$ Moreover the associativity condition for this to exhibit $\gamma$ as a monoidal functor is the equation $$ (\star) \;\;\;\;\;\; \array{ \mathcal{C}_c \times \mathcal{C}_c \times \mathcal{C}_c &\overset{((-)\otimes(-))\otimes (-)}{\longrightarrow}& \mathcal{C} \\ {}^{\mathllap{=}}\downarrow &\swArrow_{\alpha}& \downarrow^{\mathrlap{=}} \\ \mathcal{C}_c \times \mathcal{C}_c \times \mathcal{C}_c &\overset{ (-) \otimes ( (-) \otimes (-) ) }{\longrightarrow}& \mathcal{C} \\ {}^{\mathllap{\gamma_{\mathcal{C} \times \mathcal{C} \times \mathcal{C}}}}\downarrow &\swArrow_\eta& \downarrow^{\mathrlap{\gamma_{\mathcal{C}}}} \\ Ho(\mathcal{C}) \times Ho(\mathcal{C}) \times Ho(\mathcal{C}) &\overset{ (-) \otimes^L ( (-) \otimes^L (-) ) }{\longrightarrow}& Ho(\mathcal{C}) } \;\;\;\;\;\; \simeq \;\;\;\;\;\; \array{ \mathcal{C}_c \times \mathcal{C}_c \times \mathcal{C}_c &\overset{((-)\otimes(-))\otimes (-)}{\longrightarrow}& \mathcal{C} \\ {}^{\mathllap{\gamma_{\mathcal{C} \times \mathcal{C} \times \mathcal{C}}}}\downarrow &\swArrow_{\eta'}& \downarrow^{\mathrlap{\gamma_{\mathcal{C}}}} \\ Ho(\mathcal{C}) \times Ho(\mathcal{C}) \times Ho(\mathcal{C}) &\overset{((-)\otimes^L(-))\otimes^L (-)}{\longrightarrow}& Ho(\mathcal{C}) \\ {}^{\mathllap{=}}\downarrow &\swArrow_{\alpha^L}& \downarrow^{\mathrlap{=}} \\ Ho(\mathcal{C})\times Ho(\mathcal{C})\times Ho(\mathcal{C}) &\underset{(-)\otimes^L((-)\otimes^L (-))}{\longrightarrow}& Ho(\mathcal{C}) } \,, $$ where the derived associator $\alpha^L$ is induced from the composite on the left via the universal property of the localization. So $\gamma$ is monoidal. Am I making a mistake here?

   Hm, but it’s simpler, isn’t it. Check if I am making a mistake in the following:

   so let $\mathcal{C}$ be a monoidal model category with cofibrant tensor unit. Write $\mathcal{C}_c$ for the full subcategory on the cofibrant objects, and write $\gamma$ for localization at the weak equivalences.

   Then the inverse of the natural iso filling

   $$\array{ \mathcal{C}_c \times \mathcal{C}_c &=& \mathcal{C}_c \times \mathcal{C}_c &\overset{(-)\otimes (-)}{\longrightarrow}& \mathcal{C} \\ {}^{\mathllap{\gamma_{\mathcal{C} \times \mathcal{C}}}}\downarrow && {}^{\mathllap{\gamma_{\mathcal{C}} \times \gamma_{\mathcal{C}}}}\downarrow &\swArrow_\simeq& \downarrow^{\mathrlap{\gamma_{\mathcal{C}}}} \\ Ho(\mathcal{C} \times \mathcal{C}) &\simeq& Ho(\mathcal{C})\times Ho(\mathcal{C}) &\underset{(-)\otimes^L (-)}{\longrightarrow}& Ho(\mathcal{C}) }$$

   gives the structure morphism

   $$\mu_{X,Y} \;\colon\; \gamma(X) \otimes^L \gamma(Y) \longrightarrow \gamma(X \otimes Y) \,.$$

   Moreover the associativity condition for this to exhibit $\gamma$ as a monoidal functor is the equation

   $$(\star) \;\;\;\;\;\; \array{ \mathcal{C}_c \times \mathcal{C}_c \times \mathcal{C}_c &\overset{((-)\otimes(-))\otimes (-)}{\longrightarrow}& \mathcal{C} \\ {}^{\mathllap{=}}\downarrow &\swArrow_{\alpha}& \downarrow^{\mathrlap{=}} \\ \mathcal{C}_c \times \mathcal{C}_c \times \mathcal{C}_c &\overset{ (-) \otimes ( (-) \otimes (-) ) }{\longrightarrow}& \mathcal{C} \\ {}^{\mathllap{\gamma_{\mathcal{C} \times \mathcal{C} \times \mathcal{C}}}}\downarrow &\swArrow_\eta& \downarrow^{\mathrlap{\gamma_{\mathcal{C}}}} \\ Ho(\mathcal{C}) \times Ho(\mathcal{C}) \times Ho(\mathcal{C}) &\overset{ (-) \otimes^L ( (-) \otimes^L (-) ) }{\longrightarrow}& Ho(\mathcal{C}) } \;\;\;\;\;\; \simeq \;\;\;\;\;\; \array{ \mathcal{C}_c \times \mathcal{C}_c \times \mathcal{C}_c &\overset{((-)\otimes(-))\otimes (-)}{\longrightarrow}& \mathcal{C} \\ {}^{\mathllap{\gamma_{\mathcal{C} \times \mathcal{C} \times \mathcal{C}}}}\downarrow &\swArrow_{\eta'}& \downarrow^{\mathrlap{\gamma_{\mathcal{C}}}} \\ Ho(\mathcal{C}) \times Ho(\mathcal{C}) \times Ho(\mathcal{C}) &\overset{((-)\otimes^L(-))\otimes^L (-)}{\longrightarrow}& Ho(\mathcal{C}) \\ {}^{\mathllap{=}}\downarrow &\swArrow_{\alpha^L}& \downarrow^{\mathrlap{=}} \\ Ho(\mathcal{C})\times Ho(\mathcal{C})\times Ho(\mathcal{C}) &\underset{(-)\otimes^L((-)\otimes^L (-))}{\longrightarrow}& Ho(\mathcal{C}) } \,,$$

   where the derived associator $\alpha^L$ is induced from the composite on the left via the universal property of the localization.

   So $\gamma$ is monoidal.

   Am I making a mistake here?

5. • CommentRowNumber5.
   • CommentAuthorMike Shulman
   • CommentTimeJun 22nd 2016
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexIt seems to me that it should be fairly immediate like this, without needing the monoid axiom. If we use the definition of $Ho(C)$ that has the same objects as $C$, then $\gamma$ is the identity on objects, and since $\otimes^L$ can be defined using only cofibrant replacements, the morphism we need is of the form $Q X \otimes Q Y \to X\otimes Y$, so it can be just the tensor product of the two weak equivalences $Q X \to X$ and $Q Y \to Y$.

   It seems to me that it should be fairly immediate like this, without needing the monoid axiom. If we use the definition of $Ho(C)$ that has the same objects as $C$, then $\gamma$ is the identity on objects, and since $\otimes^L$ can be defined using only cofibrant replacements, the morphism we need is of the form $Q X \otimes Q Y \to X\otimes Y$, so it can be just the tensor product of the two weak equivalences $Q X \to X$ and $Q Y \to Y$.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeJun 22nd 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks. So with the formal argument above I would seem to always get that $\gamma$ is _strong_ monoidal. Is that possible? It sounds too strong.

   Thanks. So with the formal argument above I would seem to always get that $\gamma$ is strong monoidal. Is that possible? It sounds too strong.

7. • CommentRowNumber7.
   • CommentAuthorDmitri Pavlov
   • CommentTimeJun 22nd 2016
   • (edited Jun 22nd 2016)
   • PermaLink
   Author: Dmitri Pavlov
   Format: MarkdownItexSomething must be wrong with the statement, looking at the formula (PQX)⊗(PQY)⟶PQ(X⊗Y) the expression X⊗Y does not in general compute the correct answer in the homotopy category, so the above map cannot be a weak equivalence. What is always true is that the localization functor γ:C→Ho(C) carries the structure of a strong monoidal functor γ:(C,⊗^L,1)⟶(Ho(C),⊗^L,γ(1)), i.e., the tensor product on the left must also be derived. Also, γ':C_c→Ho(C_c)=Ho(C) carries the structure of a strong monoidal functor γ:(C_c,⊗,1)⟶(Ho(C),⊗^L,γ(1)), i.e., the objects of the source are cofibrant.

   Something must be wrong with the statement, looking at the formula (PQX)⊗(PQY)⟶PQ(X⊗Y) the expression X⊗Y does not in general compute the correct answer in the homotopy category, so the above map cannot be a weak equivalence.

   What is always true is that the localization functor γ:C→Ho(C) carries the structure of a strong monoidal functor γ:(C,⊗^L,1)⟶(Ho(C),⊗^L,γ(1)), i.e., the tensor product on the left must also be derived.

   Also, γ’:C_c→Ho(C_c)=Ho(C) carries the structure of a strong monoidal functor γ:(C_c,⊗,1)⟶(Ho(C),⊗^L,γ(1)), i.e., the objects of the source are cofibrant.

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeJun 22nd 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItex> Also, γ':C_c→Ho(C_c)=Ho(C) carries the structure of a strong monoidal functor γ:(C_c,⊗,1)⟶(Ho(C),⊗^L,γ(1)), i.e., the objects of the source are cofibrant. Okay, that's just what I am saying in #4 ! Okay, so then I suppose I am not making a mistake and the argument is sound. Still, I'd like a canonical citation. Which source says this clearly?

   Also, γ’:C_c→Ho(C_c)=Ho(C) carries the structure of a strong monoidal functor γ:(C_c,⊗,1)⟶(Ho(C),⊗^L,γ(1)), i.e., the objects of the source are cofibrant.

   Okay, that’s just what I am saying in #4 !

   Okay, so then I suppose I am not making a mistake and the argument is sound. Still, I’d like a canonical citation. Which source says this clearly?

9. • CommentRowNumber9.
   • CommentAuthorMike Shulman
   • CommentTimeJun 22nd 2016
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItex$\gamma$ is strong monoidal as a functor defined on $C_c$, but only lax monoidal as a functor defined on $C$. I suppose there's a sense in which it is "strong monoidal" on $C$ when you equip $C$ with a point-set-level derived tensor product, but the latter is not generally a point-set-level monoidal structure at all, so it's not clear exactly what that means. As for a reference, in section 17 of [Homotopy limits](http://arxiv.org/abs/math/0610194), I wrote "Observe that by definition of the derived tensor product in $Ho(V_0)$, the localization functor $\gamma: V_0 \to Ho(V_0)$ is lax symmetric monoidal" but I didn't give any sort of proof. I presume that I had something like #5 in mind.

   $\gamma$ is strong monoidal as a functor defined on $C_c$, but only lax monoidal as a functor defined on $C$. I suppose there’s a sense in which it is “strong monoidal” on $C$ when you equip $C$ with a point-set-level derived tensor product, but the latter is not generally a point-set-level monoidal structure at all, so it’s not clear exactly what that means.

   As for a reference, in section 17 of Homotopy limits, I wrote “Observe that by definition of the derived tensor product in $Ho(V_0)$, the localization functor $\gamma: V_0 \to Ho(V_0)$ is lax symmetric monoidal” but I didn’t give any sort of proof. I presume that I had something like #5 in mind.

10. • CommentRowNumber10.
    • CommentAuthorMike Shulman
    • CommentTimeJun 22nd 2016
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexAlso, here is an abstract reason for $\gamma$ to be lax monoidal. Let $V$ be a monoidal model category, and consider it as a "derivable category" in the sense of [comparing composites](http://nyjm.albany.edu/j/2011/17-5.html) (section 8) with $V_Q$ the subcategory of cofibrant objects and $V_R=V$. Then $\otimes :V\times V\to V$ is left derivable, i.e. it preserves the $Q$-subcategories and weak equivalences. Since deriving is pseudofunctorial (and product-preserving) on the 2-category of derivable categories and left derivable functors, it follows immediately that $Ho(V)$ is monoidal; this is Example 8.13 of *ibid*. Now let $V_0$ denote the category $V$ with its trivial derivable structure: only isomorphisms are weak equivalences, and all objects are both $Q$ and $R$. Then of course $Ho(V_0) = V$, and $V_0$ is also a pseudomonoid in derivable categories. The identity functor $Id : V_0 \to V$ is not left derivable, since it does not preserve $Q$-objects; but it is *right* derivable, since we took all objects in $V$ to be $R$-objects (ignoring the fibrant objects in the model structure on $V$). Of course $Id$ is strong monoidal, and this monoidality constraint can be expressed as a square in the double category of *ibid* whose vertical arrows are left derivable functors and whose horizontal arrows are right derivable functors; moreover the axioms on a monoidal functor can be expressed using products and double-categorical pasting in this double category. Therefore, it is all preserved by the double pseudofunctor $Ho$; but $Ho(Id) = \gamma : V \to Ho(V)$. The only thing that is not visible to the double category is the invertibility of the monoidal constraint, and hence this is not preserved by the double pseudofunctor; thus $\gamma$ is only lax monoidal. -- Mike "let's see how many times I can cite myself in the space of half an hour" Shulman

    Also, here is an abstract reason for $\gamma$ to be lax monoidal. Let $V$ be a monoidal model category, and consider it as a “derivable category” in the sense of comparing composites (section 8) with $V_Q$ the subcategory of cofibrant objects and $V_R=V$. Then $\otimes :V\times V\to V$ is left derivable, i.e. it preserves the $Q$-subcategories and weak equivalences. Since deriving is pseudofunctorial (and product-preserving) on the 2-category of derivable categories and left derivable functors, it follows immediately that $Ho(V)$ is monoidal; this is Example 8.13 of ibid.

    Now let $V_0$ denote the category $V$ with its trivial derivable structure: only isomorphisms are weak equivalences, and all objects are both $Q$ and $R$. Then of course $Ho(V_0) = V$, and $V_0$ is also a pseudomonoid in derivable categories. The identity functor $Id : V_0 \to V$ is not left derivable, since it does not preserve $Q$-objects; but it is right derivable, since we took all objects in $V$ to be $R$-objects (ignoring the fibrant objects in the model structure on $V$). Of course $Id$ is strong monoidal, and this monoidality constraint can be expressed as a square in the double category of ibid whose vertical arrows are left derivable functors and whose horizontal arrows are right derivable functors; moreover the axioms on a monoidal functor can be expressed using products and double-categorical pasting in this double category. Therefore, it is all preserved by the double pseudofunctor $Ho$; but $Ho(Id) = \gamma : V \to Ho(V)$. The only thing that is not visible to the double category is the invertibility of the monoidal constraint, and hence this is not preserved by the double pseudofunctor; thus $\gamma$ is only lax monoidal.

    – Mike “let’s see how many times I can cite myself in the space of half an hour” Shulman

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJun 22nd 2016
    • PermaLink
    Author: Urs
    Format: MarkdownItexThanks, Mike! Originally I had been hoping for something more explicit that I could present to a crowd without heavy category theory background. But now that I see how slippery such a low-brow proof is going to be, I am glad you give me a solid argument at all! Your argument should eventually go to _[[monoidal model category]]_. (By the way, meanwhile I found Day's article on _[[monoidal localisation]]_. He proves that localization in the presence of calculus of fractions is lax monoidal, but under the strong assumption that tensor product with every object preserves all the weak equivalences.)

    Thanks, Mike!

    Originally I had been hoping for something more explicit that I could present to a crowd without heavy category theory background. But now that I see how slippery such a low-brow proof is going to be, I am glad you give me a solid argument at all!

    Your argument should eventually go to monoidal model category.

    (By the way, meanwhile I found Day’s article on monoidal localisation. He proves that localization in the presence of calculus of fractions is lax monoidal, but under the strong assumption that tensor product with every object preserves all the weak equivalences.)

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJun 22nd 2016
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have added your proof [here](https://ncatlab.org/nlab/show/monoidal%20model%20category#LocalizationFunctorIsLaxMonoidal).

    I have added your proof here.

13. • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeJun 22nd 2016
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexThanks!

    Thanks!

14. • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJun 23rd 2016
    • PermaLink
    Author: Urs
    Format: MarkdownItexMike, and I suppose braiding of the localization functor follows similarly? And: do we have an argument that the monoidal structure that drops out of your abstract proof has the same derived associators $\alpha^L$ and derived unitors that one finds by the (more) explicit factorization [here](https://ncatlab.org/nlab/show/monoidal+model+category#DerivedAssociatorFromUniversalPropertyOfLocalization)?

    Mike, and I suppose braiding of the localization functor follows similarly?

    And: do we have an argument that the monoidal structure that drops out of your abstract proof has the same derived associators $\alpha^L$ and derived unitors that one finds by the (more) explicit factorization here?

15. • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeJun 23rd 2016
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexYes to the first. The second should follow by inspecting how factorizations through derived functors are constructed in terms of $Q$.

    Yes to the first. The second should follow by inspecting how factorizations through derived functors are constructed in terms of $Q$.

16. • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeOct 4th 2017
    • PermaLink
    Author: Urs
    Format: MarkdownItexFor completeness, I have added mentioning of the example of model categories of simplicial presheaves being Cartesian monoidal model categories if the site has finite products: [here](https://ncatlab.org/nlab/show/monoidal+model+category#SimplicialPresheaves)

    For completeness, I have added mentioning of the example of model categories of simplicial presheaves being Cartesian monoidal model categories if the site has finite products: here

17. • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJun 11th 2021
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Jacob Lurie]], Def. A.3.1.2 in: _[[Higher Topos Theory]]_, Annals of Mathematics Studies 170, Princeton University Press 2009 ([pup:8957](https://press.princeton.edu/titles/8957.html), [pdf](https://www.math.ias.edu/~lurie/papers/HTT.pdf)) <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/39">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/39">v39</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    added pointer to:

    • Jacob Lurie, Def. A.3.1.2 in: Higher Topos Theory, Annals of Mathematics Studies 170, Princeton University Press 2009 (pup:8957, pdf)

    diff, v39, current

18. • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJun 26th 2021
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Mark Hovey]], _Monoidal model categories_ ([arXiv:math/9803002](https://arxiv.org/abs/math/9803002)) <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/41">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/41">v41</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    added pointer to:

    • Mark Hovey, Monoidal model categories (arXiv:math/9803002)

    diff, v41, current

19. • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJul 11th 2021
    • (edited Jul 11th 2021)
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have split off from the existing remark ([here](https://ncatlab.org/nlab/show/monoidal+model+category#CaseOfCofibrantTensorUnit)) that cofibrancy of the tensor unit implies the unit axiom, a precursor remark (now [here](https://ncatlab.org/nlab/show/monoidal+model+category#InternalHomQuillenAdjunction)) making explicit that for cofibrant objects there is an internal-hom Quillen adjunction. <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/42">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/42">v42</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    I have split off from the existing remark (here) that cofibrancy of the tensor unit implies the unit axiom, a precursor remark (now here) making explicit that for cofibrant objects there is an internal-hom Quillen adjunction.

    diff, v42, current

20. • CommentRowNumber20.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 8th 2021
    • PermaLink
    Author: Dmitri Pavlov
    Format: MarkdownItexAdded: Monoidal Reedy model structures are discussed in * Moncef Ghazel, Fethi Kadhi, _Reedy diagrams in V-model categories_, [arXiv:1610.06535](https://arxiv.org/abs/1610.06535), [doi:10.1007/s10485-019-09566-w](https://doi.org/10.1007/s10485-019-09566-w). <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/47">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/47">v47</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    Added:

    Monoidal Reedy model structures are discussed in

    • Moncef Ghazel, Fethi Kadhi, Reedy diagrams in V-model categories, arXiv:1610.06535, doi:10.1007/s10485-019-09566-w.

    diff, v47, current

21. • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2022
    • (edited May 31st 2022)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded ([here](https://ncatlab.org/nlab/show/monoidal+model+category#MonoidalPresheaves)) a brief Examples-paragraph on "monoidal presheaves", following discussion [here](https://nforum.ncatlab.org/discussion/14400/model-structure-on-modules-in-a-monoidal-model-category/?Focus=99327#Comment_99327) <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/49">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/49">v49</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    added (here) a brief Examples-paragraph on “monoidal presheaves”, following discussion here

    diff, v49, current

22. • CommentRowNumber22.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 31st 2022
    • (edited May 31st 2022)
    • PermaLink
    Author: Dmitri Pavlov
    Format: MarkdownItexThe injective model structure (which is what you mentioned here and in the other place) is always monoidal, as long as M is monoidal. (Easy to see because cofibrations and acyclic cofibrations are defined objectwise.) Proposition 7.9 in the cited work talks about the _projective_ structure, for which one needs the domain category to have finite products. (Also easy to see: the generating (acyclic) cofibrations have the form I⊗y(A), and the pushout product is (I◻J)⊗(y(A)⨯y(B)), so y(A)⨯y(B) must be projectively cofibrant as a presheaf of sets, e.g., a retract of a representable presheaf.

    The injective model structure (which is what you mentioned here and in the other place) is always monoidal, as long as M is monoidal. (Easy to see because cofibrations and acyclic cofibrations are defined objectwise.)

    Proposition 7.9 in the cited work talks about the projective structure, for which one needs the domain category to have finite products. (Also easy to see: the generating (acyclic) cofibrations have the form I⊗y(A), and the pushout product is (I◻J)⊗(y(A)⨯y(B)), so y(A)⨯y(B) must be projectively cofibrant as a presheaf of sets, e.g., a retract of a representable presheaf.

23. • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2022
    • PermaLink
    Author: Urs
    Format: MarkdownItexRight, sure. Made a quick fix, but am just on my phone for the time being. <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/50">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/50">v50</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    Right, sure. Made a quick fix, but am just on my phone for the time being.

    diff, v50, current

24. • CommentRowNumber24.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 19th 2022
    • PermaLink
    Author: Dmitri Pavlov
    Format: MarkdownItexAdded: The first mention of monoidal model categories (without the unit axiom) under this name is in * [[Mark Hovey]], [[Brooke Shipley]], [[Jeff Smith]], _Symmetric spectra_, [arXiv:math/9801077v1](https://arxiv.org/abs/math/9801077v1) (January 16, 1998). * [[Stefan Schwede]], [[Brooke Shipley]], _Algebras and modules in monoidal model categories_, [arXiv:math/9801082v1](https://arxiv.org/abs/math/9801082v1) (January 19, 1998). * {#Hovey98} [[Mark Hovey]], _Monoidal model categories_ ([arXiv:math/9803002v1](https://arxiv.org/abs/math/9803002v1), February 28, 1998). Although the earliest mentions of terminology appear to be the sources indicated above, the notion itself is older. In particular, in his book Hovey credits the definition of a [[Quillen bifunctor]] to Dwyer–Hirschhorn–Kan–Smith, and this definition is itself based on the axiom SM7 in Quillen's [[Homotopical Algebra]]. The [[unit axiom]] together with the fact that the [[homotopy category]] is monoidal in this case is due to Hovey. <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/52">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/52">v52</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    Added:

    The first mention of monoidal model categories (without the unit axiom) under this name is in

    • Mark Hovey, Brooke Shipley, Jeff Smith, Symmetric spectra, arXiv:math/9801077v1 (January 16, 1998).

    • Stefan Schwede, Brooke Shipley, Algebras and modules in monoidal model categories, arXiv:math/9801082v1 (January 19, 1998).

    • {#Hovey98} Mark Hovey, Monoidal model categories (arXiv:math/9803002v1, February 28, 1998).

    Although the earliest mentions of terminology appear to be the sources indicated above, the notion itself is older. In particular, in his book Hovey credits the definition of a Quillen bifunctor to Dwyer–Hirschhorn–Kan–Smith, and this definition is itself based on the axiom SM7 in Quillen’s Homotopical Algebra.

    The unit axiom together with the fact that the homotopy category is monoidal in this case is due to Hovey.

    diff, v52, current

25. • CommentRowNumber25.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 24th 2022
    • PermaLink
    Author: Dmitri Pavlov
    Format: MarkdownItexAdded: The first mention of monoidal model categories (without the unit axiom) under this name is in * [[William G. Dwyer]], [[Philip S. Hirschhorn]], [[Daniel M. Kan]], [[Model Categories and More General Abstract Homotopy Theory]], [PDF](https://web.math.rochester.edu/people/faculty/doug/otherpapers/dhk.pdf). Mentioned in passing in Remark 55.10, with no definition given, but the preceding section discusses the pushout product axiom. <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/53">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/53">v53</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    Added:

    The first mention of monoidal model categories (without the unit axiom) under this name is in

    • William G. Dwyer, Philip S. Hirschhorn, Daniel M. Kan, Model Categories and More General Abstract Homotopy Theory, PDF. Mentioned in passing in Remark 55.10, with no definition given, but the preceding section discusses the pushout product axiom.

    diff, v53, current

26. • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Haldun Özgür Bayındır]], [[Boris Chorny]], *Admissible replacements for simplicial monoidal model categories*, Algebr. Geom. Topol. **23** (2023) 43-73 &lbrack;[arXiv:2008.00515](https://arxiv.org/abs/2008.00515), [doi:10.2140/agt.2023.23.43](https://doi.org/10.2140/agt.2023.23.43)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/57">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/57">v57</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    added pointer to:

    • Haldun Özgür Bayındır, Boris Chorny, Admissible replacements for simplicial monoidal model categories, Algebr. Geom. Topol. 23 (2023) 43-73 [arXiv:2008.00515, doi:10.2140/agt.2023.23.43]

    diff, v57, current

27. • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeMay 19th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexI have added a remark "meaning of the pushout-product axiom" ([here](https://ncatlab.org/nlab/show/monoidal+model+category#MeaningOfPushoutProductAxiom)). This may well deserve to further expanded on. Ideally one would fully answer the question: If it were not for the genius of Quillen dropping axiom SM7 from the sky, how would you arrive at stating this axiom? (I had long wanted to add such a remark here, but now was prodded from seeing people discuss this inconclusively in Math.StackExchange somewhere, though I lost the link now.) I also expanded the commentary around the original references, in the list starting [here](https://ncatlab.org/nlab/show/monoidal+model+category#OriginalReferences). <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/63">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/63">v63</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    I have added a remark “meaning of the pushout-product axiom” (here). This may well deserve to further expanded on. Ideally one would fully answer the question: If it were not for the genius of Quillen dropping axiom SM7 from the sky, how would you arrive at stating this axiom?

    (I had long wanted to add such a remark here, but now was prodded from seeing people discuss this inconclusively in Math.StackExchange somewhere, though I lost the link now.)

    I also expanded the commentary around the original references, in the list starting here.

    diff, v63, current

28. • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeMay 27th 2024
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded ([here](https://ncatlab.org/nlab/show/monoidal+model+category#MonoidalPresheaves)) a couple of earlier references on the objectwise monoidal model structure on functors with values in a monoidal model category <a href="https://ncatlab.org/nlab/revision/diff/monoidal+model+category/67">diff</a>, <a href="https://ncatlab.org/nlab/revision/monoidal+model+category/67">v67</a>, <a href="https://ncatlab.org/nlab/show/monoidal+model+category">current</a>

    added (here) a couple of earlier references on the objectwise monoidal model structure on functors with values in a monoidal model category

    diff, v67, current