Calculation of derived functors via Ind-categories (Q1313813): Difference between revisions

In the first section of the paper the category \(\text{Ind}({\mathfrak A})\) (with objects all covariant functors \hbox{\({\mathcal A} : {\mathfrak I}\to {\mathfrak A}\)}, where \({\mathfrak I}\) runs through all filtered direct systems), of an abelian noetherian category \({\mathfrak A}\) is studied. In the second part it is shown that in some cases it is possible to calculate the cohomological derived functor by using injective resolutions in the Ind-category. In particular one obtains that Ext- groups of objects of \({\mathfrak A}\) can be computed in \(\text{Ind} ({\mathfrak A})\).