Definition 89.22.1. A groupoid in functors on $\mathcal{C}_\Lambda$ is prorepresentable if it is isomorphic to $(\underline{R_0}, \underline{R_1}, s, t, c)|_{\mathcal{C}_\Lambda }$ for some representable groupoid in functors $(\underline{R_0}, \underline{R_1}, s, t, c)$ on the category $\widehat{\mathcal{C}}_\Lambda$.

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).