Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 061H

Go back to the tag's page.

type time link
assigned tag 061H 2011-04-04 90aa560
Tags: Added new tags
created statement with label lemma-helper-formally-smooth in spaces-more-morphisms.tex 2011-04-04 e90d8ce
etale descent formal smoothness

	Kind of fun and kind of annoying at the same time. Also
	included:
		Exactness of products on cat abelian groups
		Pullback of locally projective modules (schemes)
		Cohomology of products of sheaves (just a map which is
			injective for H^1)
		Descent finiteness properties of quasi-coherent modules
			on algebraic spaces
		Omega_{X/Y} is locally projective for a formally smooth
			morphism of algebraic spaces
	Enjoy!