Dynamical sheaves
In the present work we define and study the classifying (or "quotient") site $[X/Σ]$ for any small site $X$ with (countable) coproducts endowed with an action of a (countable) semigroup $Σ$. A simple case (the most relevant to our applications) is the case $Σ=\mathbb{N}$, on which, therefore we concentrate. Our main result consists in establishing an equivalence of the corresponding Tòpos with the category of sheaves on $X$ with ``$Σ-$action''. We prove also that there is a spectral sequence computing sheaf cohomology in $[X/\mathbb{N}]$ and we deduce some topological properties of this site, such as its fundamental group. We finally apply the above formalism in Holomorphic Dynamics, giving a Tòpos-theoretic interpretation of Epstein's work on the Fatou-Shishikura Inequality and Infinitesimal Thurston's Rigidity.