The Stacks project

Improve proof Dold-Kan

Less interesting but more understandable

Fix internal reference

New macro: \Ext

LaTeX

Added a new macro

\def\Im{\text{Im}}

and replaced all occurrences of \text{Im} by \Im

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

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

ell check: words starting with s, t, S, or T

pell check: words starting with n, o, p, q, r, N, O, P, Q, or R

LaTeX: \Mor

	Introduced a macro

	\def\Mor{\mathop{\rm Mor}\nolimits}

	and replaced all the occurences of \text{Mor} with \Mor.

LaTeX: fix colim

	Introduced the macro

	\def\colim{\mathop{\rm colim}\nolimits}

	and changed all the occurences of \text{colim} into \colim.

Todo-list

	Added a task on changing the chapter on Simplicial Methods.

Latex: get rid of some overfull boxes

	modified:   algebraic.tex
	modified:   chow.tex
	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   constructions.tex
	modified:   descent.tex
	modified:   desirables.tex
	modified:   divisors.tex
	modified:   etale.tex
	modified:   examples-stacks.tex
	modified:   examples.tex
	modified:   exercises.tex
	modified:   fdl.tex
	modified:   homology.tex
	modified:   hypercovering.tex
	modified:   modules.tex
	modified:   morphisms.tex
	modified:   properties.tex
	modified:   schemes.tex
	modified:   simplicial.tex
	modified:   sites.tex
	modified:   spaces.tex
	modified:   topologies.tex
	modified:   varieties.tex

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

Clean up labels and references
Add more stringent reference checking to parse.py

	modified:   algebra.tex
	modified:   algebraic.tex
	modified:   categories.tex
	modified:   constructions.tex
	modified:   desirables.tex
	modified:   flat.tex
	modified:   fpqc-descent.tex
	modified:   morphisms.tex
	modified:   schemes.tex
	modified:   scripts/functions.py
	modified:   scripts/make_index.py
	modified:   scripts/parse.py
	modified:   sets.tex
	modified:   sheaves.tex
	modified:   simplicial.tex
	modified:   sites.tex
	modified:   stacks.tex
	modified:   topology.tex

Tried to start on hypercoverings once more

Why don't we do it in the road?

Small changes

Added Dold-Kan for cosimplicial objects

Added Dold-Kan for cosimplicial objects

Done with Dold-Kan for now

More changes to simplicial and homology

Almost doen with Dold-Kan