Given a diagram $X\_1 \rightarrow X\_{12} \leftarrow X\_2$ of spaces (though I think the question applies more generally), there are two cosimplicial resolutions which I've seen used to compute the homotopy pullback. The first one, which I'll call $\mathcal A$ is given by $$\mathcal A^p = X\_1 \times X\_{12}^{\times p} \times X\_2$$ and the coface maps are like in a bar (cobar?) construction. This is the one you see, for example, in the construction of the Eilenberg-Moore spectral sequence.


For the other one, let's let $\mathscr P$ denote the pullback category, and $F$ our functor. Then the standard cosimplicial replacement, which I'll write $\mathcal B$, is given by $$\mathcal B^p = \prod\_{\substack{x\_0 \rightarrow \cdots \rightarrow x\_p \\ \in \mathscr P}} F(x\_p)$$


It seems that I always encounter one or the other, but not both, which leads me to my question: how do I know they give the same answer? The first one computes the homotopy pullback basically by definition, whereas the second one is a bit mysterious to me. Is there a simple way to compare these two cosimplicial spaces? They do not appear to be level-wise equivalent. Can we say anything about the relationship of their $\mathrm{Tot}$ towers?



Equivalence of cosimplicial models for homotopy pullbacks
The first one has codegeneracies as well as cofaces, yes? And when you say that it computes the htpy pullback basically by definition I suppose you mean that its Tot is homeomorphic to the space whose points are triples consisting of a point in $X\_1$ a point in $X\_2$ and a path connecting their images in $X\_{12}$? That's how I think of it.


And if you think about Tot of the second one the same way, you should get the space in which a point is a $5$-tuple, one point in each of $X\_1$, $X\_{12}$, $X\_2$ and two paths in $X\_{12}$ connecting the middle point with the images of the other two. Which is homeomorphic to the same old thing.


EDIT In reply to Eric's comment: The way I think about it is that holim is the derived functor of lim, therefore well-defined (up to canonical weak eq in some strong sense) when it exists; and then the question is how do you make it? In a simplicial model cat you can always make it by Tot of Bousfield-Kan cosimplicial replacement, I guess, though in general you have to make things fibrant first. For particular indexing categories, there are sometimes even simpler models. For pullbacks, one model is replace the two maps in the diagram by fibrations and then make lim (= pullback). This passes some general test for being a derived functor, so no need for direct comparison with the B-K model. Likewise the cobar construction model should pass that test. 


