An ind-scheme is an ind-object in the category of algebraic schemes. Various variants of ‘the’ category of formal schemes are proper subcategories of the category of ind-schemes. While many analytic varieties have a structure of algebraic varieties, and loops in a manifold or in an analytic variety can be treated via infinite-dimensional manifolds, their algebraic analogues are examples of ind-schemes.
M. Kapranov, É. Vasserot, Formal loops II : a local Riemann–Roch theorem for determinantal gerbes, Annales scientifiques de l’École Normale Supérieure, Sér. 4, 40 no. 1 (2007), p. 113-133, numdam, subscription req, math.AG/0509646