The Stacks project

Spell check: words starting with h, i, j, k, l, m, H, I, J, K, L, and M

Weird order of proof

	Thanks to David Rydh for pointing this out.

Separation conditions groupoids

	Following a suggestion by David Rydh

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.

Tags: added new tags

Groupoid spaces: abstract quotient stacks

	Some formal lemmas on properties of a quotient stack of a
	groupoid space. Coming up: a description of its morphisms,
	objects, etc.

Groupoid Spaces: Added chapter to the project

	OK, but we still have to write the most interesting section of
	the chapter.

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.