Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $C$ is a small category and $X_{\bullet}$ is a simplicial object in $C$. In particular, by composing with Yoneda $$y:C \to Set^{C^{op}}$$ $y(X)_{\bullet}$ is a simplicial presheaf. I believe it is true that in (either the injective or projective) model structure on simplicial presheaves, that $y(X)_{\bullet}$ "is the homotopy colimit of itself", that is, the homotopy colimit of the functor $$\Delta^{op} \stackrel{X}{\longrightarrow} C \stackrel{y}{\longrightarrow} Set^{C^{op}} \to \left(Set^{\Delta^{op}}\right)^{C^{op}} $$ is the simplicial presheaf $y(X)_{\bullet}$ itself. Does someone know a quick proof. I think it should be simple, I just cannot think very well at the moment. I'm also fine with an infinity category answer to this.

share|improve this question
add comment

2 Answers

Take the diagonal of $\Delta^{op} \to \left(Set^{\Delta^{op}}\right)^{C^{op}}$. If I understand the rightmost arrow in your question correctly, then this is just $y(X_\bullet)$.

share|improve this answer
add comment

Yes, that's right. I once wrote out some details behind this (of course it's standard) in the nLab at

and at

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.