The Stacks project

Change a notation

The $p$’s denoting the morphism $u\to\Coker(\alpha)$ have been replaced by $\pi’’$ because $p$ also denotes the object $y\times_z\Ker(\gamma)$.

Invisible changes in homology.tex

Invisible changes

Part of neurotically trying to uniformize use of latex commands in math
mode.

Remove some invisible characters

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

Clean up xymatrices to make them parse with xyjax

Thanks to Fred Rohrer
http://stacks.math.columbia.edu/tag/010H#comment-162

Fix some complaints of fix_titles_refs.py

snake lemma

here is homology.tex, extended by the "right" statement of the snake
lemma, with (almost) complete proof, including some more lemmas.

Whitespace changes

LaTeX: \Ob

	Introduced a macro

	\def\Ob{\mathop{\rm Ob}\nolimits}

	and replaced any occurence of \text{Ob}( with \Ob(. There are
	still some occurences of \text{Ob} but these are sets, not the
	operator that takes the set of objects of a category.

Epi's are universal in abelian categories

	Following a suggestion of Martin Olsson.

Started tags infrastructure

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

More neurotic changes

Why don't we do it in the road?

Large set of changes involving:

	New file homology.tex for homological algebra
	Fixes in file injectives.tex
	Typos by Zach Maddock
	Example by Alexander Palen Ellis
	Proof of commutative square by Kristen Hendricks
	Proof of K_0 local ring by Ian Whitehead
	Proof of standard cover lemma by Andrew Fanoe