The special-horn generation conjecture for special-horn trivial cofibrations
The special-horn generation conjecture for special-horn trivial cofibrations
Let be the set of special horn inclusions. A map of simplicial sets is bijective on -simplices when it induces a bijection on its sets of -simplices. Special-horn generation conjecture. The bijective-on--simplices trivial cofibrations in the special horn model structure are precisely
Equivalently, the special horn inclusions generate this class of trivial cofibrations. This is a parallel generation statement for the special horn model structure, following the conjecture about the Joyal model structure; the supplied text does not establish whether it is known or resolved.
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
Matthew Feller, “Generalizing quasi-categories via model structures on simplicial sets”, arXiv:2111.06512 (2023).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.