Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 06XX

Go back to the tag's page.

type time link
changed the statement and the proof 2020-12-11 fa6653e
Extra lemma in derived + apply it 4 times
changed the statement and the proof 2019-12-12 7397e8e
Missing assumptions in 2 lemmas and 1 proposition

This I should have caught much earlier myself since the third part of
the statement of the lemma somehow really doesn't make sense without the
assumption that \mathcal{P} is closed under direct sums...! Moreover,
the condition that \mathcal{P} contains 0 is necessary for the
application of lemma 05T7... Argh!

Thanks to awllower
https://stacks.math.columbia.edu/tag/06XX#comment-4827
changed the proof 2017-05-25 fc5e1c2
Fix index in derived

Thanks to Tanya Kaushal Srivastava
http://stacks.math.columbia.edu/tag/06XX#comment-2512
changed the statement 2017-04-13 8df8668
Wrong indices

Thanks to anonymous
http://stacks.math.columbia.edu/tag/06XX#comment-2466
changed the proof 2011-11-20 4c3c010
Precise form of K-flat resolutions

	Helper lemma for upcoming study of modules on lisse-etale sites.
changed the statement 2011-08-11 4c15ebf
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.
changed the statement 2011-08-04 32f9fd9
Special inverse systems
assigned tag 06XX 2011-08-04 19351ae
Tags: Added new tags
changed the proof 2011-08-04 19351ae
Tags: Added new tags
created statement with label lemma-special-direct-system in derived.tex 2011-08-03 1a3a4ce
Unbounded derived tensor products

	A la Spaltenstein. (What a wonderful name!)