Comparison of precomplicial spaces with Rezk's Θ_n-spaces

About 8 years old · traced to

Let n≥0n\geq 0. Write sS ⁣ettΔop⁡\mathit{s}\mathcal{S}\!\mathit{et}^{t\Delta^{\operatorname{op}}} for the category of prestratified simplicial spaces, equipped with the cartesian model structure whose fibrant objects are called nn-precomplicial spaces. Let sS ⁣etΘnop⁡\mathit{s}\mathcal{S}\!\mathit{et}^{\Theta_n^{\operatorname{op}}} denote Rezk's model category of Θn\Theta_n-spaces. Comparison conjecture. The model structure on sS ⁣ettΔop⁡\mathit{s}\mathcal{S}\!\mathit{et}^{t\Delta^{\operatorname{op}}} for nn-precomplicial spaces is Quillen equivalent to Rezk's model structure on sS ⁣etΘnop⁡\mathit{s}\mathcal{S}\!\mathit{et}^{\Theta_n^{\operatorname{op}}} for Θn\Theta_n-spaces. This would provide the final comparison between the precomplicial-space model and the Θn\Theta_n-space model, extending the established comparisons with precomplicial sets and motivating the ongoing work described by the authors.

References

Primary source

Viktoriya Ozornova and Martina Rovelli, “Model structures for (,n)-categories on (pre)stratified simplicial sets and prestratified simplicial spaces”, arXiv:1809.10621 (2020).

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.