Algebraization and Tannaka duality

Our goal in this paper is to identify certain naturally occurring colimits of schemes and algebraic spaces. To do so, we use (and prove) some new Tannaka duality theorems for maps of algebraic spaces.