The Stacks project

LaTeX

Introduced a new macro

\def\Coker{\text{Coker}}

and replaced all occurrences of \text{Coker} by \Coker

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

and replace all occurrences of \text{Ker} with \Ker

Tags: Added new tags

Formal glueing

	Bhargav Bhatt submitted a write up on formal glueing that I
	edited to make it fit better with the stacks project. The
	statement implies for example the following: Suppose that C is a
	smooth curve over a field k and p a closed point of C. Then
	vector bundles over C are the same thing as triples (E, E', phi)
	where E is a vector bundle on C - {p}, E' is a vector bundle on
	the formal completion of C at p, and phi is an isomorphism
	between E and E' over the punctured formal completion of C at
	p. This is sometimes a good way to think about vector bundles
	(e.g. because the vectorbundle E is trivial if it has trivial
	determinant).

	Adding this caused me to start a new chapter on algebra called
	"More on Algebra". If you have a less prosaic title, then drop
	me an email.