Quillen equivalence conjecture for the complicial and marked Kan model structures

From papers

Let Kn\mathfrak{K}_{n} and Mn\mathfrak{M}_{n} be the model categories of marked Kan complexes and marked complicial sets, respectively, and let (iΔ,Δ)(i_{\Delta},-_{\Delta}) be the adjoint pair between them. Quillen equivalence conjecture. The pair (iΔ,Δ)(i_{\Delta},-_{\Delta}) is a Quillen equivalence between Kn\mathfrak{K}_{n} and Mn\mathfrak{M}_{n}. If true, this would imply that the authors' model is equivalent to the main cluster of geometric models of (,n)(\infty,n)-categories, in light of Loubaton's work.

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

Clémence Chanavat and Amar Hadzihasanovic, “Semi-strictification of (, n)-categories”, arXiv:2507.00146 (2025).

Solutions 0

No solutions have been posted yet.