  In this paper we consider a simple algebraic structure --- sets with a single
endofunction. We shall see that from the point of view of limits, even this
simplest case is both interesting and difficult. Nevertheless we obtain the
shape of limit objects in the full generality, and we prove the inverse theorem
in the easiest case of quantifier-free limits.
