Example 58.3.5. Let $\mathcal{C}$ be a category and let $F : \mathcal{C} \to \textit{Sets}$ be a functor such that $F(X)$ is finite for all $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$. By Lemma 58.3.1 we see that $G = \text{Aut}(F)$ comes endowed with the structure of a profinite topological group in a canonical manner. We obtain a functor

58.3.5.1
$$\label{pione-equation-remember} \mathcal{C} \longrightarrow \textit{Finite-}G\textit{-Sets},\quad X \longmapsto F(X)$$

where $F(X)$ is endowed with the induced action of $G$. This action is continuous by our construction of the topology on $\text{Aut}(F)$.

There are also:

• 7 comment(s) on Section 58.3: Galois categories

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