The Stacks project

Some grammatical errors in Categories

There are some sentences of the form, for example, “there exists a P and a Q”.
I have changed “exists” into “exist”.
There are other small changes too.

Corrections in sets.tex and categories.tex

Thanks to Wouter Zomervrucht

Typos in categories.tex

Thanks to Jean-Pierre Gourdot

Tags: Added new tags

Typo in category.tex

Thanks to Jean-Pierre Gourdot

Improved handling of limits and colimits

Unfortunately we need more different types of limits and colimits...

Improved handling of limits and colimits

Unfortunately we need more different types of limits and colimits...

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.

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 neurotic changes

Fix forward references in proofs still left over

	modified:   algebra.tex
	modified:   categories.tex
	modified:   sets.tex
	modified:   sites.tex

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

Intermediate save...