Definition 89.6.1. Let $F : \mathcal{C}_\Lambda \to \textit{Sets}$ be a functor. We say $F$ is prorepresentable if there exists an isomorphism $F \cong \underline{R}|_{\mathcal{C}_\Lambda }$ of functors for some $R \in \mathop{\mathrm{Ob}}\nolimits (\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).