Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\mathcal C$ be model category, perhaps even cofibrantly generated. I don't assume that $\mathcal C$ is small. Recall that $End(\mathcal C)$ is the category of endofunctors on $\mathcal C$, with objects endofunctors, and morphisms natural transformations between endofunctors.

Is there any (non-obvious) model structure on $End(\mathcal C)$? In particular, I'm looking for a model structure on $End(\mathcal C)$ with weak equivalences those natural transformations which are a weak equivalence in each coordinate $c\in\mathcal C$.

share|improve this question
    
It's a good thing you're not assuming $\mathcal{C}$ is small, because there are no nontrivial small model categories. This comment appears on page 15 of Hovey's book, but is simply a consequence of the fact that model categories must have all small limits and colimits –  David White Sep 11 '12 at 17:05
    
You might be interested in the following paper of Chorny and Rosicky. They extend the notion of a combinatorial model category and as a consequence find all sorts of new model categories. In particular, they prove that the category of small presheaves over large indexing category is a model category. Perhaps the methods used there will help. arxiv.org/abs/1110.4252. Here's a sketch of why I think it might help. If $C$ is cofibrantly generated, then maybe Quillen endofunctors are determined by where the generators go, so act like small presheaves. Not sure about all endofunctors, though. –  David White Sep 11 '12 at 17:25
    
Thanks David. I'll take a look into that paper. I'm interested in the category of all endofunctors, however. I have the feeling that in order to have all small (co)limits in $End(\mathcal C)$, one cannot take less then that. –  Shlomi A Sep 11 '12 at 20:28
    
David White: not quite, a small posetal category may all small limits and colimits, and may have a non-trivial model category structure. (Non-trivial in the technical sense that it is not one of the three trivial model category structures where one of the three classes is the class of all morphisms). –  o a Sep 12 '12 at 5:53
1  
@o a: But not, perhaps "non-trivial" in the less technical sense of "interesting"... (-: –  Mike Shulman Sep 12 '12 at 19:28

1 Answer 1

Suppose $C$ is a non-small model category. As in Hovey's book, a category is taken to mean a class of objects with a set of maps between any two. Note that $End(C)$ will not in general be a category because it can have a class worth of maps between any two objects (natural transformations take a value for each object in $C$). You can get around this in a few ways:

  1. Pass to a larger Grothendieck Universe. Basically the idea is that you can start set theory by fixing an inaccessible cardinal $\kappa$ and declaring a set to be a set if its cardinality is smaller and a class if its cardinality is bigger. If a construction takes you out of the realm of sets you simply go up to a larger inaccessible cardinal. This is what Lurie does in Higher Topos Theory (page 51).
  2. Place a smallness hypothesis before passing to $End(C)$. If you require $C$ to be small then $End(C)$ is a category but there is no interesting homotopy theory. You could also restrict attention to small functors and then the machinery of Chorny mentioned in the comments applies.

You've remarked that you don't want to do (2), so I think you're stuck with doing (1). Unfortunately, this can interfere with your ability to do homotopy theory in $End(C)$, because if you pass to a larger Grothendieck Universe then you lose (co)completeness. Again you have several options I can see:

  1. Forget the model structure on $C$ and treat $C$ as an infinity category instead. One of the punchlines of Lurie's machinery is that functors between two infinity categories again form an infinity category (after passage to a larger Grothendieck Universe). The reason is that there is no (co)completeness requirement in the definition of an infinity category. Depending on your choice of model for $(\infty,1)$-theory you can define the weak equivalences to be the Dwyer-Kan equivalences of relative categories or simplicial categories, the weak equivalences of simplicial sets in the Joyal model structure if using Quasi-categories, etc. You no longer have a notion of cofibration or fibration, so choosing the weak equivalences tells you what the infinity category structure on $End(C)$ is.

  2. Work with Hovey's 2-category of model categories, then restrict attention to the 1-morphisms between $C$ and $C$. Before there was a class worth of these, as well as a class of 2-morphisms between the 1-morphisms. But now that we're working in this larger Grothendieck Universe $End(C)$ will be a small category in that universe. The weak equivalences will be whatever the 2-weak equivalences in the 2-category of model categories are. According to the Vistas section of Hovey's book this should be natural transformations which are natural weak equivalence when restricted to cofibrant objects. Unfortunately, Hovey comments that he doesn't know what the cofibrations or fibrations should be, and even worse this category doesn't appear to be (co)complete.

  3. Invent a new notion of model category, which has only (co)limits up to some cardinal. For example, let's say $M$ is a $\kappa$-model category if it's $\kappa$ (co)complete. If $\kappa$ is the inaccessible cardinal indexing your universe then $M$ is (co)complete. Once you pass to a larger Grothendieck Universe (indexed by $\kappa'$ say) you may not have all (co)limits. But because (co)limits of functors are computed objectwise you should still have all $\kappa$-colimits. So you can safely call $End(M$) a $\kappa$-model category even though it's not a model category. Presumably $\kappa$-colimits would be enough for whatever constructions you'd like to make because they cover all the colimits coming from $M$.

If you choose option 1 you're done. Since you asked for a model category I'll assume you've chosen option 2 or 3. Choosing option 2 will force you into option 3 anyway if you want to be (co)complete in some sense. Since I just made up the notion of a $\kappa$-model category no one has worked out the theory of these things (I'm interested in thinking about this for a future research project, but it might be non-trivial). In any event, if the theory turned out nicely then option 3 would give you several choices of model structure. Forgetting that the domain category is a model category, and treating it just as an index category you could take either the projective or injective model structures on $End(M)$. In the former weak equivalences and fibrations are functors $F$ such that $F(f)$ is a weak equivalence or fibration for all $f$. The latter is similar but with weak equivalences and cofibrations. Once Chorny got around the set theoretic issues by choosing small functors these were the model structures he found.

If you remember that the domain category is a model category then you could say $F$ is a weak equivalence if it takes weak equivalences to weak equivalences and $F$ is a fibration if it takes fibrations to fibrations. Of course there's also the dual thing with cofibrations. I'm not sure if these give model structures; I suspect not. It seems we're having the same trouble as in option 2, i.e. we don't have a good sense of what the fibrations and cofibrations should be. For weak equivalences a natural choice is left Quillen equivalences or perhaps DK equivalences. Figuring out an answer to this seems like hard work but work worth doing. Again, I'd be interested in this as a research project, and indeed it's related to a few things in the research statement hosted on my website.

share|improve this answer
1  
Option 3 is not really a "new notion" – Quillen's original definition only required finite limits and colimits, and did not require functorial factorisation. In option 2, if you restrict to $\kappa$-accessible functors between combinatorial model categories that are locally $\kappa$-presentable, then the category you get is locally $\kappa$-presentable and has a cofibrantly-generated projective model structure (Kan et al.) as well as an injective model structure (Lurie). In particular it is locally small. –  Zhen Lin Oct 3 '13 at 14:32
    
@ZhenLin: Thanks for your close reading of the answer. Actually, when I wrote this I was thinking a bit about your recent paper on universes. I think the notion in (3) is a bit more general than your comment suggests, because I'm not assuming $M$ is generated under filtered colimits by a set as you'd need for combinatorial (nor under a class as Chorny requires for class-combinatorial). I really just mean an option between Quillen's original definition (finite (co)limits) and the one which appears in Hovey's book (all (co)limits). I don't want to restrict to combinatorial because the OP didn't. –  David White Oct 3 '13 at 15:22

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.