Conservativity of the left Quillen strictification functor

At least 2 years old · documented by

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.