The Stacks project

Too many If

Thanks to Herman Rohrbach
https://stacks.math.columbia.edu/tag/010M#comment-3057

Additivity not needed

Thanks to Dajano Tossici who writes:

"...just a remark about 010M. It is seems to me (up to a trivial mistake)
that in Lemma 12.7.1 (ii),(iii),(iv) the hypothesis 'additive' is not
necessary, i.e. I think that if the functor sends, for instance, a short
left exact sequence in a short left exact sequence then it is additive.
Clearly a priori F(0) \neq 0, so the map 0\to F(A) is just the unique
morphism from the initial object to F(A) (and not F(0)\to F(A))."

fields.tex, sites.tex, homology.tex: typo corrections

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

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

More on localization

	Behaviour with respect to finite limits and colimits. What
	happens when you localize a (pre)additive category, or an
	abelian category. Improved exposition of take quotients of
	abelian categories by Serre subcategories.

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

More changes in homology.tex

	modified:   homology.tex

Done with Dold-Kan for now

From laptop to desktop