Definition 61.12.14. In the situation of Lemma 61.12.13 the functor $i_ S^{-1} = \pi _{S, *}$ is often called the restriction to the small pro-étale site, and for a sheaf $\mathcal{F}$ on the big pro-étale site we denote $\mathcal{F}|_{S_{pro\text{-}\acute{e}tale}}$ this restriction.

There are also:

• 4 comment(s) on Section 61.12: The pro-étale site

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