Point-wise surjective presentations of stacks, or why I am not afraid of (infinity) stacks anymore
Any algebraic stack X can be represented by a groupoid object in the category of schemes: that is, a pair of schemes Ob, Mor and morphisms source, target: Mor &rarr