The enriched-category model conjecture for cartesian model categories

Let CC be a small category, let $

M=sPSh(C)Sinj,M=s\operatorname{PSh}(C)^{\mathrm{inj}}_{\mathscr{S}},

and suppose that MM is a cartesian model category. For an object XX of M-CatM\operatorname{-Cat}, let hXhX be the ordinary category with the same objects as XX and morphism sets hX(a,b)=hM(1,X(a,b))hX(a,b)=hM(1,X(a,b)). Call a morphism f:XYf:X\to Y a weak equivalence if each map X(a,b)Y(fa,fb)X(a,b)\to Y(fa,fb) is a weak equivalence in MM and the induced functor hXhYhX\to hY is an equivalence of categories. Enriched-category model conjecture. There is a model category structure on M-CatM\operatorname{-Cat} with these weak equivalences, together with a Quillen equivalence

M-CatM-ΘSp.M\operatorname{-Cat}\simeq M\operatorname{-}\Theta\operatorname{Sp}.

This would identify the proposed \Theta$-space models with categories enriched over a cartesian model category, generalizing the relationship between complete Segal spaces and enriched homotopy theories. The conjecture is presented as a proposed model structure and Quillen equivalence; no resolution is given here.

Sources & referencesView supporting material

Primary source

Charles Rezk, “A cartesian presentation of weak n-categories”, arXiv:0901.3602 (2010).

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.