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
   • CommentTimeNov 18th 2009
   • PermaLink
   Author: Urs
   Format: Markdowncreated [[cellular model category]]. I still need a discussion on what exactly one can say about the relation to [[combinatorial model category]]. There must be some good statement, but I am not sure yet.

   created cellular model category.

   I still need a discussion on what exactly one can say about the relation to combinatorial model category. There must be some good statement, but I am not sure yet.

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJun 26th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexSome kind soul wrote me an email with the following content > The first condition in a cellular model category is that the domains and codomains of the generating cofibrations are compact. My remark is that in my understanding what Hirschhorn calls a compact object (namely Definition 10.8.1 in his book) is very far from the definition given in the link in nLab. The definition of compact object given in nLab is what Hirschhorn calls $\omega$-small object, and I don't see any relation between the two. This can be very misleading. > Perhaps a related issue, in the entries on combinatorial model categories and on Bousfield localization it is mentioned a few times that the notion of a cellular model category is more general then that of a combinatorial model category. Can you please point me to a reference to this fact. I find it a bit hard to believe since for example the right Bousfield localization theorem (Theorem 5.1.1 in Hirschhorn's book) holds for cellular model categories while for combinatorial model categories it is an open problem according to what [some expert] told me. Probably something indeed needs to be fixed here. However, right now I have no chance to look into any of this, let alone make edits. I'll leave this message here either for me to come back to later, or else for whoever feels motivated to look into this.

   Some kind soul wrote me an email with the following content

   The first condition in a cellular model category is that the domains and codomains of the generating cofibrations are compact. My remark is that in my understanding what Hirschhorn calls a compact object (namely Definition 10.8.1 in his book) is very far from the definition given in the link in nLab. The definition of compact object given in nLab is what Hirschhorn calls $\omega$-small object, and I don’t see any relation between the two. This can be very misleading.

   Perhaps a related issue, in the entries on combinatorial model categories and on Bousfield localization it is mentioned a few times that the notion of a cellular model category is more general then that of a combinatorial model category. Can you please point me to a reference to this fact. I find it a bit hard to believe since for example the right Bousfield localization theorem (Theorem 5.1.1 in Hirschhorn’s book) holds for cellular model categories while for combinatorial model categories it is an open problem according to what [some expert] told me.

   Probably something indeed needs to be fixed here. However, right now I have no chance to look into any of this, let alone make edits. I’ll leave this message here either for me to come back to later, or else for whoever feels motivated to look into this.

3. • CommentRowNumber3.
   • CommentAuthorZhen Lin
   • CommentTimeJun 26th 2014
   • (edited Jun 26th 2014)
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexHirschhorn's definition of "compact" is what we might call [[small object|small]], i.e. $\kappa$-compact for large-enough regular cardinals $\kappa$. $\mathbf{Top}$ (in Hirschhorn's sense, so e.g. the category of compactly generated weakly Hausdorff spaces) is a cellular model category that is not combinatorial. I suppose that was the motivating example. This example is already on the page.

   Hirschhorn’s definition of “compact” is what we might call small, i.e. $\kappa$-compact for large-enough regular cardinals $\kappa$.

   $\mathbf{Top}$ (in Hirschhorn’s sense, so e.g. the category of compactly generated weakly Hausdorff spaces) is a cellular model category that is not combinatorial. I suppose that was the motivating example. This example is already on the page.

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeJun 26th 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks. I am quasi-offline. If you wanted to do me a favor (me and all other nLab users, that is) you could briefly add whatever comment/link the page might need for clarification. Thanks!

   Thanks. I am quasi-offline. If you wanted to do me a favor (me and all other nLab users, that is) you could briefly add whatever comment/link the page might need for clarification. Thanks!

5. • CommentRowNumber5.
   • CommentAuthorZhen Lin
   • CommentTimeJun 26th 2014
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexHmmm. Actually, on further reflection, I'm not so confident that "compact relative to $I$" is equivalent to "small relative to $I$". The forward implication appears as Proposition 10.8.7, but I cannot find the reverse implication. It should at least be true in the case where $I$ is the class of all morphisms (which we usually get for free in a combinatorial model category), but there is still a non-trivial check involved. I added a warning about the meaning of "compact".

   Hmmm. Actually, on further reflection, I’m not so confident that “compact relative to $I$” is equivalent to “small relative to $I$”. The forward implication appears as Proposition 10.8.7, but I cannot find the reverse implication. It should at least be true in the case where $I$ is the class of all morphisms (which we usually get for free in a combinatorial model category), but there is still a non-trivial check involved.

   I added a warning about the meaning of “compact”.

6. • CommentRowNumber6.
   • CommentAuthorilanbarnea
   • CommentTimeJun 29th 2014
   • PermaLink
   Author: ilanbarnea
   Format: TextHi I was the one who wrote to Urs. I was nor aware that these thins are discussed here. In relation to Zhen Lin first comment: Clearly there are cellular model categories that are not combinatorial. What is not clear to me is why every combinatorial model category is cellular.

   Hi
   I was the one who wrote to Urs. I was nor aware that these thins are discussed here.
   In relation to Zhen Lin first comment:
   Clearly there are cellular model categories that are not combinatorial. What is not clear to me is why every combinatorial model category is cellular.
7. • CommentRowNumber7.
   • CommentAuthorZhen Lin
   • CommentTimeJun 29th 2014
   • (edited Jun 29th 2014)
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexI guess you are taking for granted that the cofibrations are effective monomorphisms; otherwise there are trivial counterexamples. It is well known that every object in a locally presentable category is small (relative to the class of all morphisms). It should also be true that every object is compact, at least under the following hypothesis: for any large-enough regular cardinal $\kappa$ and any presented relative cell complex, the poset of subcomplexes of size $\lt \kappa$ is $\kappa$-filtered. But perhaps that hypothesis is not always satisfied.

   I guess you are taking for granted that the cofibrations are effective monomorphisms; otherwise there are trivial counterexamples.

   It is well known that every object in a locally presentable category is small (relative to the class of all morphisms). It should also be true that every object is compact, at least under the following hypothesis: for any large-enough regular cardinal $\kappa$ and any presented relative cell complex, the poset of subcomplexes of size $\lt \kappa$ is $\kappa$-filtered. But perhaps that hypothesis is not always satisfied.

8. • CommentRowNumber8.
   • CommentAuthorilanbarnea
   • CommentTimeJun 29th 2014
   • PermaLink
   Author: ilanbarnea
   Format: TextThen even because of the trivial reason, places where it is said that the notion of a cellular model category is more general then that of a combinatorial model category should be corrected (like in the entries on combinatorial model categories and on Bousfield localization)

   Then even because of the trivial reason, places where it is said that the notion of a cellular model category is more general then that of a combinatorial model category should be corrected (like in the entries on combinatorial model categories and on Bousfield localization)
9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeAug 17th 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded cross-link with *[[cellular category]]* by way of the following disclaimer: > the notions of *[[cellular categories]]* and of *cellular model categories* are vaguely related, but not as systematically as the (independently chosen) terminology might suggest <a href="https://ncatlab.org/nlab/revision/diff/cellular+model+category/10">diff</a>, <a href="https://ncatlab.org/nlab/revision/cellular+model+category/10">v10</a>, <a href="https://ncatlab.org/nlab/show/cellular+model+category">current</a>

   added cross-link with cellular category by way of the following disclaimer:

   the notions of cellular categories and of cellular model categories are vaguely related, but not as systematically as the (independently chosen) terminology might suggest

   diff, v10, current