Ind-schemeIn algebraic geometry, an ind-scheme is a set-valued functor that can be written as a direct limit of closed embedding of schemes.Examples is an ind-scheme.Perhaps the most famous example of an ind-scheme is an infinite grassmannian