The Stacks project

Wrong terminology fixed

Thanks to Laurent Moret-Bailly
https://stacks.math.columbia.edu/tag/0161#comment-8494

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.

Fixed nonsensical lemma in homology.tex
Added info on the base change map
Added reformulation of hypercoverings of topological spaces
Added flat morphisms of ringed spaces to modules.tex

	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   homology.tex
	modified:   hypercovering.tex
	modified:   modules.tex

Started tags infrastructure

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

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