1: \begin{abstract}

2: We study equivariant sheaves over profinite spaces, where the group is also taken to be profinite.  

3: We resolve a serious deficit in the existing theory by constructing a good notion of 

4: equivariant presheaves, with a suitable equivariant sheafification functor. 

5: Using equivariant sheafification, we develop the general theory of equivariant sheaves of modules over a ring, 

6: give explicit constructions of infinite products and introduce an equivariant analogue of skyscraper sheaves. 

7: 

8: These results underlie recent work by the authors 

9: which proves that there is an algebraic model for rational $G$-spectra in terms of 

10: equivariant sheaves over profinite spaces. 

11: That model is constructed in terms of 

12: Weyl-$G$-sheaves over the space of closed subgroups of $G$, 

13: where the term Weyl indicates that the stalk over $H$

14: is $H$-fixed.   

15: In this paper, we prove that Weyl-$G$-sheaves of $R$-modules 

16: form an abelian category with enough injectives

17: and is a coreflective subcategory of equivariant sheaves of $R$-modules. 

18: 

19: We end the paper with a structural result that provides another way to conveniently build

20: equivariant sheaves from simpler data. 

21: We prove that a $G$-equivariant sheaf over a profinite base space $X$

22: is a colimit of equivariant sheaves over 

23: finite discrete spaces $X_i$ with actions of finite groups $G_i$, where

24: $X$ is the limit of the $X_i$ and $G$ is the limit of the $G_i$. 

25: \end{abstract}