The Stacks project

Fix misuse of lemma in proof

Thanks to Rubén Muñoz--Bertrand
https://stacks.math.columbia.edu/tag/01UT#comment-4957

Improve a proof in morphisms

Typo in Tag 01UT?

Hello,

In the display equation of Lemma 28.34.5 (Tag 01UT), should the
"\mathcal{O}_{X/S}" be "\Omega_{X/S}"?

Best,
Minseon

Thanks to MINSEON SHIN

Clean up treatment module of differentials

Move the construction of \Omega to the setting of ringed spaces.
Redefine the module of differentials using the universal property. The
agreement with the conormal sheaf of the diagonal is now a lemma. Tried
to find all places where this was used...

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

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

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 on differentials

	modified:   modules.tex
	modified:   morphisms.tex
	modified:   properties.tex