MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question

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|cite|improve this answer

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

and at

share|cite|improve this answer

Your Answer


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.