Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 091K

Go back to the tag's page.

type time link
assigned tag 091K 2013-06-11 855db3b
Tags: Added new tags
changed the statement 2013-05-28 e11c853
More basics on pro-etale cohomology
created statement with label lemma-tensor-Rlim-exact in more-algebra.tex 2013-05-16 aa4e2d7
Derived completeness for Noetherian rings

Now we see exactly where the "isomorphism of pro-objects"
gets used and how. It is in proving that the derived limit
of systems maps pro-isomorphisms to isomorphisms. Cool!