1
vote
0answers
63 views

Easy characterization of Cohomology in an Abelian Category

It should be quite an easy question and probably there's also a certain degree of intrinsic silliness in it, but still... Let $\mathcal{C}$ be an abelian category and let $C(\mathcal{C})$ be the ...
2
votes
2answers
184 views

$\operatorname{Func}(J,Ab)$ has enough injectives.

I am trying to show that the functor category $\operatorname{Func}(J,Ab)$ has enough injectives (meaning that for each $F\in \operatorname{Func}(J,Ab)$ there is an injective object $I\in ...
5
votes
0answers
241 views

Abelian categories, axioms AB5 and AB5* and incompatability

This is a homework exercise, so please don't post full solutions to the question below. Grothendieck (I believe) introduced several axioms an abelian category A voluntarily could satisfy. In ...