1: \begin{abstract}

2:  We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address  the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem of the construction of a continuous limit for first-order convergent sequences of finite mappings. We solve the approximation problem and, consequently, the full characterization of limit objects for mappings for first-order (i.e. ${\rm FO}$) convergence and local (i.e. ${\rm FO}^{\rm local}$) convergence. 

3:  

4:  This work can be seen both as a first step in the resolution of inverse problems (like Aldous-Lyons conjecture) and a strengthening  of the classical  decidability result for finite satisfiability in Rabin class (which consists of first-order logic with equality, one unary function, and an arbitrary number of monadic predicates).

5:  

6:  The proof involves model theory and analytic techniques.

7:  

8:  \end{abstract}

9: