History of tag 05T7
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2024-04-17 |
aeb6b59 |
Arrow in the wrong direction
Thanks to ElÃas Guisado
https://stacks.math.columbia.edu/tag/05T7#comment-8396
|
|
changed the proof
|
2019-10-16 |
5a1972b |
Improve a proof in derived.tex
Found while writing notes for my course... but it is really dumb...
|
|
changed the statement
|
2014-05-05 |
bdde227 |
Clarify a lemma in derived.tex
|
|
changed the statement
|
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!
|
|
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.
|
|
assigned tag 05T7
|
2011-02-14 |
4f79f80
|
Tags: added new tags
|
|
created statement with label lemma-subcategory-left-resolution in derived.tex
|
2011-02-08 |
7798522 |
Existence derived functor
Fun! Fun! Fun!
|