Sites whose topoi are the smooth representations of locally prodiscrete monoids

We then define a subclass of sites such that the topos is equivalent to the category of discrete sets with a continuous action of a locally profinite group.