Remark 89.21.6. We will say “let $(\underline{U}, \underline{R}, s, t, c)$ be a groupoid in functors on $\mathcal{C}$” to mean that we have a representable groupoid in functors. Thus this means that $U$ and $R$ are objects of $\mathcal{C}$, there are morphisms $s, t : U \to R$, the pushout $R \amalg _{s, U, t} R$ exists, there is a morphism $c : R \to R \amalg _{s, U, t} R$, and $(\underline{U}, \underline{R}, s, t, c)$ is a groupoid in functors on $\mathcal{C}$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).