Monomorphisms of formal algebraic spaces