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

Let $\text{Cat}$ be the category of (small) categories and functors. There is a "categorical" (also called "canonical" or "folk") model structure on $\text{Cat}$ in which the weak equivalences are the usual equivalences of categories (and as explained here, it turns out that there is a unique choice of cofibrations and fibrations that come with them). In this model structure, all categories are fibrant and cofibrant.

There is also a natural question of constructing a "geometric" model structure on $\text{Cat}$ for which the weak equivalences are functros that induce weak equivalence of nerves. i.e. there is the nerve functor $N:\text{Cat}\to \text{sSet}$, where $\text{sSet}$ is the category of simplicial sets with the standard model structure, and we would like a model structure on $\text{Cat}$, for which a functor $F:C\to D$ is a weak equivalence if and only if $N(F):N(C)\to N(D)$ is a weak equivalence. There is such a construction by Thomason, in which the model structure on $\text{Cat}$ is "transported" from $\text{sSet}$ along the adjunction $$ \tau_1 \circ Sd^2 :\text{sSet}\leftrightarrows\text{Cat}: Ex^2\circ N $$ Where $\tau_1$ is the left adjoint of $N$ (sometimes called "fundamental category") and $Sd\dashv Ex$ are the barycentric subdivision / Extension adjunction of Kan. In Thomason's model structure, the cofibrations are quite complicated (they are all "Dwyer maps"). In particular a cofibrant category must be a poset.

My question is whether there exist a model structure on $\text{Cat}$, with "geometric" weak equivalences as in Thomason's, but with the same cofibrations as the "categorical" one. In other words, can we obtain a "geometric" model structure on $\text{Cat}$ by localizing the categorical one?

share|improve this question

1 Answer 1

up vote 7 down vote accepted

No, there are far too many "canonical cofibrations" for that. For example, let $A$ be a category with two objects and two parallel arrows between them. Then there is a unique functor $A \to [1]$ that is injective on objects and hence a "canonical cofibration". The homotopy type of $A$ is $S^1$ so the homotopy type of the pushout of $A \to [1]$ with itself should be $S^2$, but it is $[1]$ again.

share|improve this answer
    
Can you comment about what precisely fails when you try to do the obvious thing? I mean, the Thomason model structure is combinatorial so the class of weak equivalences is accessible. The canonical model structure is left proper and combinatorial, so you might try to apply Bousfield localization at the Dwyer maps. The only issue I can see is that perhaps the weak equivalences are $\kappa$-accessible for some $\kappa > \omega$, and Smith's Theorem (HTT A.2.6.13) requires the weak equivalences to be perfect rather than merely accessible. I'd love to see what fails in this argument. –  David White Jul 20 at 8:44
3  
The problem is exactly the one I explained above. The assumption (2) of [HTT, A.2.6.13] essentially asks for pushouts along generating cofibrations to be homotopy pushouts. My example shows that this not the case for "canonical cofibrations". –  Karol Szumiło Jul 20 at 9:04
2  
Alternatively, one notes that every object is "canonically cofibrant", so the model structure (if it exists) must be left proper and so pushouts of cofibrations "must" be homotopy pushouts. –  Zhen Lin Jul 20 at 9:27
    
@KarolSzumilo: Okay, I agree A.2.6.13 can't be used. But that's for building a combinatorial model structure from scratch. There's also Smith's theorem that if you already have a left proper, combinatorial model category $M$ and a set of maps $C$ then the left Bousfield localization $L_C(M)$ exists. One might hope that in the presence of accessibility for the Dwyer maps then a set $C$ could be found so that the $C$-local equivalences are the Dwyer maps. I'd like to better understand the limits of the Smith machinery when it comes to finding such a set given an accessible class. –  David White Jul 20 at 9:40
2  
Ah, I meant the weak equivalences of the Thomason model structure. I think I misread the OP. A reference for the theorem I have in mind is Barwick `On (Enriched) left Bousfield localization' Theorem 2.11. It seems I was right about only needing the accessibility of the weak equivalences (rather than the fact that they're generated by a set) as Barwick's proof only requires his Lemma 2.10. However, condition (3) of his Proposition 1.7 is not satisfied thanks to your example ($W \cap I$-cof is not closed under pushout). Other versions of Smith's Theorem (e.g. HTT) hit the same problem. –  David White Jul 20 at 10:13

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.