Conservativity of the left Quillen strictification functor
For an integer , let denote the category of stratified simplicial sets and let denote the category of marked strict -categories. Let
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 -categories for all ; 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.