One of the fundamental properties that distinguishes schemes among all contravariant functors $\mathrm{Sch}^\circ \rightarrow \mathrm{Sets}$ is algebraization: a functor $F$ satisfies algebraization if, whenever $S$ is the spectrum of a complete noetherian local ring and $S_n$ are the infinitesimal neighborhoods of the central point in $S$,

$F(S) = \varprojlim_n F(S_n)$.

I only know of two basic algebraization results: (1) Grothendieck's existence theorem gives algebraization when $F$ is the stack of coherent sheaves on a proper scheme, and (2) SGA3.IX.7.1 gives algebraization for maps from tori into affine group schemes.

It is possible to deduce algebraization for many other functors from these. My question is: are there any other basic algebraization results (that don't eventually reduce to one of these) out there?