18
$\begingroup$

It is easy to prove that a model structure is determined by the following classes of maps (determined = two model structures with the mentioned classes in common are equal).

  • cofibrations and weak equivalences
  • fibrations and weak equivalences

The second statement follows immediately from the first by duality.

What about the following classes of maps/objects (A short argument would be very helpful)?

  1. cofibrations and fibrations
  2. cofibrant objects and weak equivalences
  3. cofibrant objects and fibrations
  4. cofibrant objects and fibrant objects

I think each of these classes determine the structure respectively. For the last one I suppose that one has to use framings but I cannot see how to do it.

Edit: Thank you all for the illuminative answers.

  1. true
  2. ?
  3. true
  4. false
$\endgroup$
2
  • 10
    $\begingroup$ Mike Shulman answered 2: it's false. The same category can have two distinct model structures such that every map is a weak equivalence and every object is cofibrant. Simple example: the category of sets, with (cofibrations, fibrations) being (1) (all maps, bijections), or (2) (injections, surjections). $\endgroup$ Jun 27, 2010 at 18:34
  • 1
    $\begingroup$ For what it's worth, the consensus seems to be: 1. easily seen to be true 2. false for trivial reasons 3. nontrivially true 4. easily seen to be false $\endgroup$
    – Tim Campion
    May 19, 2012 at 9:04

3 Answers 3

9
$\begingroup$

This is just a flash answer without enough thought:

  1. Cofibrations determine trivial fibrations (by lifting) and fibrations determine trivial cofibrations. Any weak equivalence is a composite of a trivial cofibration and a trivial fibration. So cofibrations and fibrations determine the model structure.

  2. Cofibrant objects and fibrations (or weak equivalences) should NOT determine the model structure, or so my intuition says. If you know the model structure is left proper, maybe. You might be tempted to argue something like: fibrations determine trivial cofibrations, so we know all trivial cofibrations between cofibrant objects, so we ought to know all weak equivalences between cofibrant objects by something like Ken Brown's Lemma. But I bet this does not in fact work. Even if it does, I'm not sure what to do next. I'd be tempted to look for a counterexample.

  3. Cofibrant objects and fibrant objects surely must not determine the model structure. It must not be too hard to come up with a counterexample for this, but I need to think about it.

$\endgroup$
6
  • 5
    $\begingroup$ For 3, cofibrant objects and fibrant objects do not even determine weak equivalences. For instance, Cat(=small categories) admits model structures with all objects fibrant and cofibrant, with either equivalences or isomorphisms as the weak equivs. $\endgroup$ Jun 26, 2010 at 21:32
  • 13
    $\begingroup$ To clarify for anyone reading this: the second item in this response turns out to be wrong. As pointed out by other comments and answers, it's a theorem of Joyal that cofibrants + fibrations DO determine the model structure (although it seems to be more common to state the dual: cofibrations + fibrants determine...). An updated link to catlab proof: ncatlab.org/joyalscatlab/show/Model+categories#determination2 $\endgroup$
    – Tim Campion
    May 19, 2012 at 8:52
  • 1
    $\begingroup$ I happened across this question again today, and noticed that my link is broken because Joyal's Catlab is no longer public. Anyway, there's a proof in paragraph 51.10 of Joyal's unpublished but widely disseminated notes on quasicategories, which he seems to have settled on calling "Notes on logoi" (even if this link breaks too, that name should remain easily searchable, I think!). $\endgroup$
    – Tim Campion
    Jan 17, 2015 at 4:48
  • 2
    $\begingroup$ @TimCampion: Joyal's CatLab is still (and has always been) public, the link is ncatlab.org/joyalscatlab/published/… $\endgroup$ Jun 18, 2015 at 10:06
  • 2
    $\begingroup$ A published reference (with credit to Joyal) for the fact that cofibrations and fibrant objects determine the model structure is Emily Riehl's Categorical Homotopy Theory, Theorem 15.3.1. $\endgroup$ May 11, 2016 at 21:48
36
$\begingroup$

Among the nine model structures on the category of sets, there are:

Two in which cofibrant=empty and every set is fibrant.

Two in which cofibrant=empty and fibrant={empty or singleton}.

One in which every set is cofibrant and fibrant=nonempty.

One in which every set is cofibrant and fibrant=singleton.

One in which every set is cofibrant and fibrant={empty or singleton}.

Two in which every set is both cofibrant and fibrant.

$\endgroup$
5
  • 1
    $\begingroup$ But you do not say that here are exactly nine model structures on the category of sets, right? $\endgroup$
    – user2146
    Jul 9, 2010 at 13:04
  • 25
    $\begingroup$ I did mean to assert that there are exactly nine model structures on the category of sets. I did not say why this is true. It is a pleasant exercise to find them all. A recommended preliminary exercise is to find all six pairs (C,F) of classes of morphisms in the category of sets such C is determined by left lifting w.r.t. F and F is determined by right lifting w.r.t. C. $\endgroup$ Jul 9, 2010 at 14:18
  • 4
    $\begingroup$ Wow! Thanks Tom. I just finished verifying your claim for myself. This is such a great exercise. Thank you so much! $\endgroup$ Aug 12, 2010 at 3:52
  • 5
    $\begingroup$ I'm glad you enjoyed it. If you feel like doing more of the same, I recommend based sets. I don't know any serious use for any of this. $\endgroup$ Aug 12, 2010 at 11:27
  • 8
    $\begingroup$ I think it's interesting for two reasons. First there's the pedagogic value. When I teach a class which covers model categories, I'll definitely include this exercise. Second, this may be the first step in classifying model structures on more complicated categories. Example: you can look at the forgetful functor from Cat to the Set of objects. This functor and its fully-faithful left adjoint both preserve colimits and limits. Hence you to transfer any model structure on Cat to one on Set, and hopefully to classify model structures on Cat relative to those on Set. Perhaps on presheaf cats too? $\endgroup$ Aug 12, 2010 at 13:33
17
$\begingroup$

Mark's answer explains why (1) cofibrations and fibrations do determine the model structure, and Charles' and Tom's examples show that (4) cofibrant objects and fibrant objects do not.

For (2), any weak factorization system (L,R) on a category determines a model structure in which L is the cofibrations, R is the fibrations, and all maps are weak equivalences. Thus, it suffices to find a category C admitting two wfs (L,R) and (L',R') with the same cofibrant objects, which is pretty easy; take for instance C=Set with (all functions, isos) and (monos, epis).

Finally, for (3) it is true, surprisingly, that the cofibrant objects and the fibrations determine a model structure. In fact, merely the cofibrant+fibrant objects together with the fibrations also determine the model structure. This observation is due to Joyal and can be found on his Catlab (currently Proposition 4).

$\endgroup$
2
  • $\begingroup$ Note: On Joyal's page, proposition 4 is not the same as lemma 4. That confused me a bit when I first clicked through. $\endgroup$ Jun 27, 2010 at 6:11
  • $\begingroup$ Yeah, that's an annoyance of the way Instiki does theorem/proposition/lemma numbering. $\endgroup$ Jun 27, 2010 at 16:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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