Remark 89.7.7. Let $\mathcal{F}$ be a category cofibred in groupoids over $\mathcal{C}_\Lambda$. We claim that there is a canonical equivalence

$can : \widehat{\mathcal{F}}|_{\mathcal{C}_\Lambda } \longrightarrow \mathcal{F}.$

Namely, let $A \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C}_\Lambda )$ and let $(A, \xi _ n, f_ n)$ be an object of $\widehat{\mathcal{F}}|_{\mathcal{C}_\Lambda }(A)$. Since $A$ is Artinian there is a minimal $m \in \mathbf{N}$ such that $\mathfrak m_ A^ m = 0$. Then $can$ sends $(A, \xi _ n, f_ n)$ to $\xi _ m$. This functor is an equivalence of categories cofibered in groupoids by Categories, Lemma 4.35.8 because it is an equivalence on all fibre categories by Lemma 89.7.4 and the fact that the $\mathfrak m_ A$-adic topology on a local Artinian ring $A$ comes from the zero ideal. We will frequently identify $\mathcal{F}$ with a full subcategory of $\widehat{\mathcal{F}}$ via a quasi-inverse to the functor $can$.

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