The special-horn generation conjecture for special-horn trivial cofibrations

About 5 years old · traced to

Let SpHorn⁡\operatorname{SpHorn} be the set of special horn inclusions. A map of simplicial sets is bijective on 00-simplices when it induces a bijection on its sets of 00-simplices. Special-horn generation conjecture. The bijective-on-00-simplices trivial cofibrations in the special horn model structure are precisely

\boxslash(SpHorn⁡\boxslash).{}^{\boxslash}(\operatorname{SpHorn}^{\boxslash}).

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

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.