The Stacks project

Towards trace map on de Rham complexes

This is an intermediate commit because there is now a
rather large set of changes already... but it is not quite
done yet.

Typo

Thanks to David Zureick-Brown
http://stacks.math.columbia.edu/tag/04BL#comment-186

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...

Whitespace changes

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.

Tags: Added new tags

Modules on Sites: Module of differentials

	For a map of rings on a site, or for a morphism of ringed topoi.