Simplicial sets from bisimplicial sets, and their realisations. From a bisimplicial space $T$, one can consider the simplicial spaces $\underline p \mapsto T_{pp} $, $\underline p \mapsto |\underline q \mapsto T_{pq} |$, and $\underline q \mapsto |\underline p \mapsto T_{pq} |$, where $| \cdot |$ denotes geometric realisation. In a lemma (used in proving Theorems A and B, in 'Higher Algebraic K-theory I'), Quillen gives a proof that these three simplicial sets all have coincidental realisations, but I'm having touble understanding the reasoning.
The idea of the proof is to first prove it in the special case of when $T$ is of the form $h^{rs} \times S$, where $h^{rs} = \hom_{\Delta}( -, \underline{r}) \times \hom_{\Delta}( -, \underline{s})$ (with the hom-sets having the discrete topology) and $S$ denotes the constant simplicial space $\underline p \mapsto S$, for some space $S$. This is easy to do. Next is where I get lost, (although I do understand that we're trying to write a general bisimplicial space $T$ is a direct limit of the special cases). He writes

"But any $T$ has a canonical
  presentation
$\coprod_{(r,s) \to (r',s')} h^{r',s'}
> \times T_{rs} \rightrightarrows
> \coprod_{(r,s)} h^{r,s} \times T_{rs}
> \to T $ 
which is exact in the sense
  that the right arrow is the cokernel
  of the pair of arrows. Since the three
  functors from bisimplicial spaces to
  spaces under consideration commute
  with inductive limits, the lemma
  follows."

I am confused on a few points:

What is meant by 'canonical presentation'?
By 'cokernel', was 'coequaliser' meant?
In any case, how does one get an inductive limit from that diagram? 

May someone please spell out what is going on here?
 A: In the term "canonical presentation", "presentation" just means that the diagram you wrote is a coequalizer diagram presenting $T$ as being obtained from "simpler" bisimplicial spaces (so, yes, "cokernel of a pair" means "coequalizer"). This use of the term presentation comes from algebra, where presenting, say, a group, can be interpreted to mean writing it as a coequalizer of maps between free groups (and similarly for other algebraic structures).
The "canonical" part just means the whole diagram is a functor of $T$, or more concretely, that both $F(T):=\coprod_{(r,s) \to (r',s')} h^{r',s'} \times T_{rs}$ and $G(T) := \coprod_{(r,s)} h^{r,s} \times T_{rs}$ define (the object part) of functors and all three arrows in $F(T) \rightrightarrows G(T) \to T$ are components of natural transformations $F \rightrightarrows G \to \mathrm{Id}$.
Finally, the way the argument goes, once you have this functorial diagram, is that if $R$ denotes any of the three realization functors (from bisimplicial spaces all the way to spaces) you mention, then $R$ commutes with colimits (called "inductive limits" in the paper). This means that $R(F(T)) = \coprod_{(r,s) \to (r',s')} R(h^{r',s'} \times T_{rs})$, that $R(G(T)) = \coprod_{(r,s)} R(h^{r,s} \times T_{rs})$, and that the diagram
$$\coprod_{(r,s) \to (r',s')} R(h^{r',s'}
  \times T_{rs}) \rightrightarrows
  \coprod_{(r,s)} R(h^{r,s} \times T_{rs})
  \to R(T)$$
is still a coequalizer diagram (but now in spaces). Since Quillen first proved that the spaces $R(h^{r,s} \times T_{pq})$ do not depend on which of the three $R$'s you take, the result, $R(T)$ does not depend on which $R$ you take either.
