Skip to main content
3 of 5
added 15 characters in body; edited title
Simon Henry
  • 42.4k
  • 5
  • 107
  • 205

Is the canonical model structure on strict $\infty$-Cat left proper?

Is the canonical (or Folk) model structure on the category of (strict) $\infty$-category as constructed by Lafont, Métayer and Worytkiewicz left proper ?

All its objects are fibrant, so it is right proper, but left properness is not clear at all. I tend to think it is not, but pushout of cofibration in $\infty$-Cat are still relatively well behaved operations so it might very well be. In any case, I don't know explicit examples of pushouts showing it is not left proper.

I would also be interested by answers of that question for the folk model structure for 2 or 3-categories (either strict or semi-strict) as this would very probably shed some light on the question.

Motivation: I've stumble on this for several reasons, but one of them is that the folk model structure has many interesting left Bousfield localizations. For example for each $n$ it can be Bousfield localized so that the fibrant objects of the localization are the $(\infty,n)$-category in the sense that all arrows of dimension $>n$ are weakly invertible (contrary to Ara-Métayer's "geberalized Brown-Golanski" model structure where the arrow of dimension $>n$ are strictly invertible, whether these two things are Quillen equivalent is as far as I know an open problem).

But in order for the localization to be an actual Quillen model category (instead of a semi-model category) one need left properness.

I'm very curious to know if this localization is an example of a Bousfield localisation of non proper model structure (because those have surprising properties and I don't know really natural examples of this so far), or if it is actually a Quillen model structure (which would also be nice).

Simon Henry
  • 42.4k
  • 5
  • 107
  • 205