History of tag 079P
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2021-07-27 |
465d71d |
distinguishing transfinite induction and recursion
|
|
changed the statement
|
2015-07-09 |
6d3d7e2 |
Generalized Cartan-Eilenberg
Only for Grothendieck abelian categories
|
|
changed the statement
|
2014-07-24 |
7d57e8d |
Slogan by Johan de Jong
http://stacks.math.columbia.edu/tag/079P#comment-848
|
|
changed the proof
|
2013-08-03 |
7f2ba8c |
Spell check: words starting with h, i, j, k, l, m, H, I, J, K, L, and M
|
|
assigned tag 079P
|
2011-12-07 |
a9c3de7
|
TAGS: Added new tags
|
|
changed the statement
|
2011-11-26 |
b8f51cc |
Comment on D(A)
Namely, if A is a Grothendieck abelian category then D(A) makes
sense, i.e., Hom_{D(A)}(E, F) is always a set.
|
|
created statement with label theorem-K-injective-embedding-grothendieck in injectives.tex
|
2011-11-26 |
eec4b83 |
K-injectives for Grothendieck categories
Mostly following Serp\'e with some simplifications.
|