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

From papers

Let n0n\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.

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

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

Solutions 0

No solutions have been posted yet.