Conservativity of the left Quillen strictification functor

From papers

For an integer mm, let sSetm\mathbf{sSet}^m denote the category of stratified simplicial sets and let -Catm\infty\text{-}\mathbf{Cat}^m denote the category of marked strict \infty-categories. Let

_:sSetm-Catm|\_|: \mathbf{sSet}^m \to \infty\text{-}\mathbf{Cat}^m

be the left Quillen functor from the paper's construction. Strictification conservativity conjecture. The functor _|\_| reflects weak equivalences between cofibrant objects. This is presented as a concrete version of the conjecture that strictification is conservative on weak (,m)(\infty,m)-categories for all mm; its resolution is not given here.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Simon Henry Felix Loubaton, “An inductive model structure for strict -categories”, arXiv:2301.11424 (2025).

Solutions 0

No solutions have been posted yet.