The Stacks project

J becomes P

Thanks to Max L
https://stacks.math.columbia.edu/tag/013A#comment-8547

LaTeX: Remove useless brackets

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.

Started tags infrastructure

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

Changed the index to at least have an alphabetized list of terms defined
in the project. Thanks Cathy!

	modified:   algebra.tex
	modified:   categories.tex
	modified:   constructions.tex
	modified:   exercises.tex
	modified:   fpqc-descent.tex
	modified:   groupoids.tex
	modified:   homology.tex
	modified:   hypercovering.tex
	modified:   modules.tex
	modified:   morphisms.tex
	modified:   properties.tex
	modified:   schemes.tex
	modified:   scripts/functions.py
	modified:   scripts/make_index.py
	modified:   sheaves.tex
	modified:   simplicial.tex
	modified:   sites.tex
	modified:   spaces.tex
	modified:   topology.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