Try a notion of formal algebraic space

Here is one possible definition of a formal algebraic space which seems
to incorporate many of the different notions that exist in the
literature such as Beilinson-Drinfeld, McQuillan, and Yasuda