The Stacks project

Remark 90.7.12. Let $R$ be an object of $\widehat{\mathcal{C}}_\Lambda $. It defines a functor $\underline{R}: \widehat{\mathcal{C}}_\Lambda \to \textit{Sets}$ as described in Remarks 90.5.2 (12). As usual we identify this functor with the associated cofibered set. If $\mathcal{F}$ is a cofibered category over $\mathcal{C}_\Lambda $, then there is an equivalence of categories

It is given by the composition

where $\Phi $ is as in Remark 90.7.9 and the second equivalence comes from the 2-Yoneda lemma (the cofibered analogue of Categories, Lemma 4.41.2). Explicitly, the equivalence sends a morphism $\varphi : \underline{R}|_{\mathcal{C}_\Lambda } \to \mathcal{F}$ to the formal object $(R, \varphi (R \to R/\mathfrak {m}_ R^ n), \varphi (f_ n))$ in $\widehat{\mathcal{F}}(R)$, where $f_ n : R/\mathfrak m_ R^{n + 1} \to R/\mathfrak m_ R^ n$ is the projection.

Assume a choice of pushforwards for $\mathcal{F}$ has been made. Given any $\xi \in \mathop{\mathrm{Ob}}\nolimits (\widehat{\mathcal{F}}(R))$ we construct an explicit $\underline{\xi } : \underline{R}|_{\mathcal{C}_\Lambda } \to \mathcal{F}$ which maps to $\xi $ under (90.7.12.1). Namely, say $\xi = (R, \xi _ n, f_ n)$. An object $\alpha $ in $\underline{R}|_{\mathcal{C}_\Lambda }$ is the same thing as a morphism $\alpha : R \to A$ of $\widehat{\mathcal{C}}_\Lambda $ with $A$ Artinian. Let $m \in \mathbf{N}$ be minimal such that $\mathfrak m_ A^ m = 0$. Then $\alpha $ factors through a unique $\alpha _ m : R/\mathfrak m_ R^ m \to A$ and we can set $\underline{\xi }(\alpha ) = \alpha _{m, *}\xi _ m$. We omit the description of $\underline{\xi }$ on morphisms and we omit the proof that $\underline{\xi }$ maps to $\xi $ via (90.7.12.1).

Assume a choice of pushforwards for $\widehat{\mathcal{F}}$ has been made. In this case the proof of Categories, Lemma 4.41.2 gives an explicit quasi-inverse

to the 2-Yoneda equivalence which takes $\xi $ to the morphism $\iota (\xi ) : \underline{R} \to \widehat{\mathcal{F}}$ sending $f \in \underline{R}(S) = \mathop{\mathrm{Mor}}\nolimits _{\mathcal{C}_\Lambda }(R, S)$ to $f_*\xi $. A quasi-inverse to (90.7.12.1) is then

where $\Psi $ is as in Remark 90.7.9. Given $\xi \in \mathop{\mathrm{Ob}}\nolimits (\widehat{\mathcal{F}}(R))$ we have $\Psi (\iota (\xi )) \cong \underline{\xi }$ where $\underline{\xi }$ is as in the previous paragraph, because both are mapped to $\xi $ under the equivalence of categories (90.7.12.1). Using $\underline{R} = \widehat{\underline{R}|_{\mathcal{C}_\Lambda }}$ (see Remark 90.7.11) and unwinding the definitions of $\Phi $ and $\Psi $ we conclude that $\iota (\xi )$ is isomorphic to the completion of $\underline{\xi }$.