Timeline for Derived functor
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 1, 2010 at 11:55 | comment | added | Theo Buehler | @Hao Sun: Sure, follow the link in my post (part b of Lemma 4.1). See also Theorem 12.8 on page 33 in esi.ac.at/preprints/esi2063.pdf for a more detailed proof (although it's stated there for projective resolutions). | |
| Dec 1, 2010 at 11:15 | comment | added | Diego Maradona | Can you give a simple proof of the existence of $I$? | |
| Nov 30, 2010 at 12:13 | comment | added | Leonid Positselski | @Liran: one probably has to require a little more. If the category $A$ has enough injectives and exact infinite (or at least countable) products, then every complex has a K-injective resolution. The same conclusion also holds if $A$ is a Grothendieck abelian category, i.e., has exact colimits and a set of generators (even though countable products in such a category may not be exact). | |
| Nov 30, 2010 at 10:42 | comment | added | the L | If the category $A$ has enough injectives, as well as infinite products, then every object has a K-injective resolution, so the right derived functor exists. | |
| Nov 30, 2010 at 9:31 | history | answered | Theo Buehler | CC BY-SA 2.5 |