# Presheaves on a complete Segal space

Let C be an $(\infty,1)$-category, incarnated as a complete Segal space, hence in particular a bisimplicial set. Is there a model structure on the slice category of bisimplicial sets over C which presents the $(\infty,1)$-presheaf category of C? Ideally, such a model structure would be Quillen equivalent to the contravariant model structure over a quasicategory incarnation of C, and to the projective model structure for simplicial presheaves on a simplicial-category incarnation of C.

Yes. Let $W$ be a complete Segal space, thought of as a simplicial "space" $(W_q)$. The fibrant objects of your model category will be the fibrations $f:X\to W$ such that for each simplicial operator $\delta:[q]\to [p]$ with $\delta(q)=p$, the evident map from $X_p$ to the pullback of $$X_q \xrightarrow{f} W_q \xleftarrow{\delta} W_p$$ is a weak equivalence of spaces. (Edit: in fact, it suffices to require the evident map to the pullback to be a weak equivalence only for $\delta:\to[p]$ with $\delta(0)=p$.)
• Thanks! Two questions. (1) By "fibrations $f\colon X\to W$", do you mean Reedy fibrations? Or fibrations in the CSS model structure? (2) Is the "evident map" necessarily itself a fibration (say, if $f$ is a fibration according to your answer to (1))? – Mike Shulman Dec 6 '11 at 0:45
• (1) I mean Reedy fibration. It turns out that if W is a CSS, and f is a Reedy fibration with the above property, then X is also a CSS, and thus f (being a Reedy fibration between CSS's) is also a fibration in the CSS model category. (2) I believe it is a fibration if $\delta$ is injective, but not generally. (In the condition describing fibrant objects, it actually suffices to require a weak equivalence only in the case $\delta:\to [p]$.) (3) Yup. (4) Yup. – Charles Rezk Dec 6 '11 at 16:22