 This is analogous to the notion of manifolds being coverable by open subsets isomorphic to euclidean space, or schemes being coverable by affines.Schemes over "k" can be analytified functorially, much like varieties over the complex numbers can be viewed as complex analytic spaces, and there is an analogous formal GAGA theorem.The analytification functor respects finite limits.