Constructing a "geometric" model structure on Cat by localizing the "categorical" model structure

Question

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?

Answer 1

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.

Answer 2

Karol's answer is excellent, however, I want to suggest another argument. I claim that a model category on $\mathbf{Cat}$ whose weak equivalences are the Thomason equivalences can never be a localization of a model structure whose weak equivalences are the categorical equivalences.

Indeed, on the one hand the canonical model structure is a simplicial model category whose mapping space is given by $Map(C,D)=N(i \mathrm{Fun}(C,D))$ where $i$ sends a category to its subcategory of isomorphisms. From this description, we see that the mapping spaces are all nerve of groupoids which implies that they are $1$-truncated (i.e. that their homotopy groups of degree at least $2$ are trivial). The important point is that this fact is intrinsic to the weak equivalences in the canonical model structure because these mapping spaces can also be computed using for instance the hammock localization which only depends on the weak equivalences.

On the other hand, if $M\leftrightarrows L_SM$ is a Bousfield localization, the fibrant objects of $L_SM$ are a subclass of the fibrant objects of $M$. Moreover, between fibrant objects of $L_SM$, the derived mapping spaces (computed using a simplicial enrichment or the hammock localization) are the same in $M$ or $L_SM$. This means that the $\infty$-category $L_SM$ is a full sub $\infty$-category of $M$.

The category of categories with the Thomason weak equivalences is a model for the $\infty$-category of spaces. In particular, some of its derived mapping spaces are not $1$-truncated (for instance $Map(*,S^2)$is not $1$-truncated) which means that it cannot embed as a full sub $\infty$-category of the $\infty$-category of categories with the canonical weak equivalences.