The Stacks project

Short exact sequence of conormal bundles and sheaves of differentials

	These of course would each follow easily from having the theory
	of the cotangent complex setup and working for algebraic spaces.
	But on the other hand, one would still have to split out the
	precise statements separately in order to use them.

Actions by derivations: Not done yet

	Some more results on acting by derivations on morphisms. The
	main point is to make everything sufficiently general so that we
	can use it in the setting of morphisms of algebraic spaces.

More Morphisms Spaces: Module of differentials

	Started to write about module of differentials of a morphism of
	algebraic spaces. We want to use it in the discussion of
	formally smooth morphisms.

	This required some preliminary work improving the exposition in
	a few other plaves.

Added new tags to the file tags/tags

	modified:   tags/tags

Permanence property of smooth morphisms

	modified:   algebra.tex
	modified:   morphisms.tex