Quillen equivalence conjecture for the complicial and marked Kan model structures
Quillen equivalence conjecture for the complicial and marked Kan model structures
Let and be the model categories of marked Kan complexes and marked complicial sets, respectively, and let be the adjoint pair between them. Quillen equivalence conjecture. The pair is a Quillen equivalence between and . If true, this would imply that the authors' model is equivalent to the main cluster of geometric models of -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
Sign in to submit a solution.
No solutions have been posted yet.