The Stacks project

Whitespace changes

Qoutients of Groupoids: A little more discussion

Terminology:
	"group space" ---> "group algebraic space"
	"groupoid space" ---> "groupoid in algebraic spaces"

	It seems more natural this way to at least three people, and in
	any case it prevents the possible confusion that may arise from
	the fact that in some places in the literature the word "space"
	sometimes refers to any sheaf on schemes in the fppf topology.

Groupoids: Fix dumb error.

	The error was not realizing that ``relation generated by'' is
	a kind of tricky operation...

	This basically has no further ramifications since we only used
	the result in situations where the the pre-relation is actually
	a pre-equivalence relation (which would be better named a
	equivalence pre-relation).

Restriction and equivalences

	We inserted a couple of lemmas describing when the restriction
	of a groupoid scheme gives rise to an isomorphic quotient sheaf
	or when it gives rise to an equivalent quotient stack.

Tags: added new tags

Groupoid spaces: Towards stackify

	What we have to do now is stackify a groupoid space. Hence we
	have to rewrite (the easy parts of) the chapter on groupoid
	spaces, and then add some material on stackifying groupoid
	spaces. This is all preliminary before starting to discuss
	presentations of algebraic stacks.