History of tag 08U3
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2024-04-10 |
8b63274 |
Remove canonicity
Thanks to ZL
https://stacks.math.columbia.edu/tag/08TB#comment-8295
|
|
changed the statement and the proof
|
2017-01-29 |
4d4c354 |
Better E = Rlim(truncations) on ringed sites
Hopefully, there is no need to ever touch this material again!
|
|
changed the statement and the proof
|
2015-07-13 |
c7a3a1a |
Better handling of K = Rlim truncations
|
|
changed the statement and the proof
|
2014-03-04 |
ed4803c |
Theorem of formal functions via derived completion
Thanks to Anatoly Preygel
Thanks to Daniel Halpern-Leistner
Thanks to Bhargav Bhatt
This is my attempt at working out what Anatoly, Dan, and Bhargav
suggested is true (in a talk and a conversation). It is made a tad more
difficult perhaps than they intended in that I tried to put it into the
framework of derived completion. On the other hand, one can state a more
general version of the principle in the new section, for example because
one can work with pseudo-coherent complexes everywhere.
What I am not quite sure about is how derived completion behaves when
one doesn't work over a Noetherian scheme and/or when one doesn't work
with pseudo-coherent complexes.
|
|
changed the statement
|
2013-08-03 |
6cc7a5d |
ell check: words starting with s, t, S, or T
|
|
changed the statement
|
2013-05-12 |
d5cc3e4 |
Introducing the big pro-\'etale sites
|
|
assigned tag 08U3
|
2013-04-02 |
75a4d1e
|
Tags: Added new tags
|
|
created statement with label lemma-is-limit in sites-cohomology.tex
|
2013-04-02 |
3663aa0 |
Digression: derived limits
Try to improve exposition
|