The Stacks project

Fix error in proof in descent

Thanks to Sean Cotner
https://stacks.math.columbia.edu/tag/02L3#comment-4212

Replace by

Thanks to Ko Aoki
https://stacks.math.columbia.edu/tag/02L3#comment-2831

Whitespace changes

Global: Eradicated radicial

	Well, not completely, but almost.

Renamed fpqc-descent.tex descent.tex

	modified:   Makefile
	modified:   algebraic.tex
	modified:   browse.html
	modified:   chapters.tex
	renamed:    fpqc-descent.tex -> descent.tex
	modified:   groupoids.tex
	modified:   more-morphisms.tex
	modified:   morphisms.tex
	modified:   preamble.tex
	modified:   scripts/functions.py
	modified:   spaces.tex
	modified:   stacks.tex
	modified:   tags/Makefile
	modified:   tags/tags

Starting to write about local properties of schemes. This in order to be
able to speak about local properties of algebraic spaces/stacks

	modified:   fpqc-descent.tex
	modified:   spaces.tex
	modified:   tags/tags

Properties of representable morphisms of functors on Sch/fppf
Fix typos in chow.tex

	modified:   chow.tex
	modified:   fpqc-descent.tex
	modified:   morphisms.tex
	modified:   spaces.tex

Added new tags to the file tags/tags

	modified:   tags/tags

Added: radicial + etale => open immersion
Added proof of: quasi-finite + separated => quasi-affine

	modified:   fpqc-descent.tex
	modified:   more-morphisms.tex

Removed horrible lemma which was completely wrongheaded.
Fixed proof that open immersions are fpqc local on the base
Fixed proof that isomorphisms are fpqc local on the base
Added proof that quasi-compact immersions are fpqc local on the base
Added a fun lemma on scheme theoretic image of quasi-compact morphism
Added lemma stating that quasi-compact immersions are quasi-affine

	modified:   fpqc-descent.tex
	modified:   morphisms.tex

Descending properties of morphisms and related lemmas

	modified:   algebra.tex
	modified:   fpqc-descent.tex
	modified:   morphisms.tex