1: \begin{abstract}

2: 		We give elementary and explicit sufficient conditions (in particular, a functional correlation bound) for deterministic homogenisation (convergence to a stochastic differential equation) for discrete-time fast-slow systems of the form 

3: 		\[ x_{k+1}=x_k+n^{-1}a_n(x_k,y_k)+n^{-1/2}b_n(x_k,y_k), \quad y_{k+1}=T_n y_k. \]

4: 		We then prove that these sufficient conditions are satisfied by various examples of nonuniformly hyperbolic dynamical systems $ T_n $.

5: 	\end{abstract}