The Stacks project

Remark 90.7.9. We claim the completion functor of Remark 90.7.8 and the restriction functor $|_{\mathcal{C}_\Lambda } : \text{Cof}(\widehat{\mathcal{C}}_\Lambda ) \to \text{Cof}(\mathcal{C}_\Lambda )$ of Remarks 90.5.2 (15) are “2-adjoint” in the following precise sense. Let $\mathcal{F} \in \mathop{\mathrm{Ob}}\nolimits (\text{Cof}(\mathcal{C}_\Lambda ))$ and let $\mathcal{G} \in \mathop{\mathrm{Ob}}\nolimits (\text{Cof}(\widehat{\mathcal{C}}_\Lambda ))$. Then there is an equivalence of categories

To describe this equivalence, we define canonical morphisms $\mathcal{G} \to \widehat{\mathcal{G}|_{\mathcal{C}_\Lambda }}$ and $\widehat{\mathcal{F}}|_{\mathcal{C}_\Lambda } \to \mathcal{F}$ as follows

1. Let $R \in \mathop{\mathrm{Ob}}\nolimits (\widehat{\mathcal{C}}_\Lambda ))$ and let $\xi $ be an object of the fiber category $\mathcal{G}(R)$. Choose a pushforward $\xi \to \xi _ n$ of $\xi $ to $R/\mathfrak m_ R^ n$ for each $n \in \mathbf{N}$, and let $f_ n : \xi _{n + 1} \to \xi _ n$ be the induced morphism. Then $\mathcal{G} \to \widehat{\mathcal{G}|_{\mathcal{C}_\Lambda }}$ sends $\xi $ to $(R, \xi _ n, f_ n)$.

2. This is the equivalence $can : \widehat{\mathcal{F}}|_{\mathcal{C}_\Lambda } \to \mathcal{F}$ of Remark 90.7.7.

Having said this, the equivalence $\Phi : \mathop{\mathrm{Mor}}\nolimits _{\mathcal{C}_\Lambda }( \mathcal{G}|_{\mathcal{C}_\Lambda }, \mathcal{F}) \to \mathop{\mathrm{Mor}}\nolimits _{\widehat{\mathcal{C}}_\Lambda }(\mathcal{G}, \widehat{\mathcal{F}})$ sends a morphism $\varphi : \mathcal{G}|_{\mathcal{C}_\Lambda } \to \mathcal{F}$ to

There is a quasi-inverse $\Psi : \mathop{\mathrm{Mor}}\nolimits _{\widehat{\mathcal{C}}_\Lambda }( \mathcal{G}, \widehat{\mathcal{F}}) \to \mathop{\mathrm{Mor}}\nolimits _{\mathcal{C}_\Lambda }( \mathcal{G}|_{\mathcal{C}_\Lambda }, \mathcal{F})$ to $\Phi $ which sends $\psi : \mathcal{G} \to \widehat{\mathcal{F}}$ to

We omit the verification that $\Phi $ and $\Psi $ are quasi-inverse. We also do not address functoriality of $\Phi $ (because it would lead into 3-category territory which we want to avoid at all cost).