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.
References
Primary source
Matthew Feller, “Generalizing quasi-categories via model structures on simplicial sets”, arXiv:2111.06512 (2023).
Progress summary
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.