The Stacks project

Generalize some lemmas on limits

More on limits of algebraic spaces

This material is on the one hand tremendously boring and
on the other hand, quite tricky. It turns out for example
that it is easy to show that given a filtered inverse system
of qc+qs schemes with separated limit, then the objects
are separated for large indices. This we missed the first
time through... Anyway, the goal of working through this
material with the current level of detail is to be able
to mirror most of the arguments for proving Chow's lemma
in the case of algebraic spaces...

We'll see.

LaTeX: fix lim

	Replaced all the occurences of \text{lim} by \lim or
	\lim\nolimits depending on whether the invocation occured in
	display math or not.

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

More on limits of schemes, including a fun result from Brian's paper.

	new file:   limits.tex
	modified:   morphisms.tex
	modified:   my.bib
	deleted:    results.tex

First very rough version of absolute Noetherian approximation

	modified:   results.tex