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

From papers

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.

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

No solutions have been posted yet.