Remark 89.7.14. According to Remark 89.7.12, giving a formal object $\xi$ of $\mathcal{F}$ is equivalent to giving a prorepresentable functor $U : \mathcal{C}_\Lambda \to \textit{Sets}$ and a morphism $U \to \mathcal{F}$.

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